Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory With Records

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exi005
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Labelled Propositional Modal Logics: Theory and Practice

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2019English

An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Questions in Decision Theory

Annual Review of Economics
EconomicsEconometrics
2010English

Open Questions, Talk Abstracts, and Summary of Discussions

Distributed Computing and Cryptography
1991English

ML-Style Multi-Abstraction Calculus With Type Inference Algorithm

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2019English

Preface: Theory and Applications of Abstraction, Substitution and Naming

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2011English

MWEs as Non-Propositional Content Indicators

2004English

Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy