Discover open access scientific publications

Search, annotate, share and cite publications

Publications by P. F. Patel-Schneider

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic

Journal of Artificial Intelligence Research
Artificial Intelligence
1994English

A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

Journal of Artificial Intelligence Research
Artificial Intelligence
2003English

Related publications

Well-Founded Semantics for Description Logic Programs in the Semantic Web

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2011English

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Truthmaker Semantics for Relevant Logic

Journal of Philosophical Logic
Philosophy
2020English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Memoizing Semantics for Functional Logic Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Supercover Semantics for Deontic Action Logic

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2019English

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Extended Semantics and Inference for the Independent Choice Logic

Logic Journal of the IGPL
Philosophy
2009English

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy