We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:
Philosophy

Search Results

Showing 1-9 of 9 results

  1. Guarded Ontology-Mediated Queries

    We concentrate on ontology-mediated queries (OMQs) expressed using guarded Datalog...
    Pablo Barceló, Gerald Berger, ... Andreas Pieris in Hajnal Andréka and István Németi on Unity of Science
    Chapter 2021

  2. Formalizing Kant’s Rules

    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason . The central Kantian notion that we...

    R. Evans, M. Sergot, A. Stephenson in Journal of Philosophical Logic
    Article Open access 25 November 2019

  3. Obligation as Optimal Goal Satisfaction

    Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world...

    Robert Kowalski, Ken Satoh in Journal of Philosophical Logic
    Article Open access 05 July 2017

  4. Tractability and Intractability of Controlled Languages for Data Access

    In this paper we study the semantic data complexity of several controlled fragments of English designed for natural language front-ends to OWL (Web...

    Camilo Thorne, Diego Calvanese in Studia Logica
    Article 08 August 2012

  5. Ontology Translation by Ontology Merging and Automated Reasoning

    Ontology translation is one of the most difficult problems that web-based agents must cope with. An ontology is a formal specification of a...
    De**g Dou, Drew McDermott, Peishen Qi in Ontologies for Agents: Theory and Experiences
    Conference paper 2005

  7. Advanced Many-Valued Logics

    Let me begin with a brief discussion of the name of this chapter: the adjective “advanced” in the title can only be understood in the temporal sense;...
    Reiner Hähnle in Handbook of Philosophical Logic
    Chapter 2001

  8. Applications Of Paraconsistency In Data And Knowledge Bases

    The study of paraconsistent logic as a branch of mathematics and logic has been pioneered by Newton da Costa. With the growing advent of distributed...

    John Grant, V. S. Subrahmanian in Synthese
    Article 01 January 2000

  9. A Complete Neural Network Algorithm for Horn-SAT

    Neural Networks are mainly used for classification and similar tasks, involving subsymbolic information. Nevertheless, they are also suited to deal...
    Antje Strohmaier in Intellectics and Computational Logic
    Chapter 2000
Did you find what you were looking for? Share feedback.