Nonmonotonic Ontological and Rule-Based Reasoning With Extended Conceptual Logic Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/11431053_27
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Experimenting With Nonmonotonic Reasoning

1995English

Nonmonotonic Reasoning

Computers and Mathematics with Applications
MathematicsComputational MathematicsSimulationModelingComputational Theory
1997English

Temporally Annotated Extended Logic Programs

International Journal of Advanced Research in Artificial Intelligence
2012English

Nonmonotonic Reasoning With Quantified Boolean Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Tutorial Notes: Reasoning About Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Extended Sequential Reasoning for Data-Race-Free Programs

2011English

Well-Founded Semantics for Extended Logic Programs With Dynamic Preferences

Journal of Artificial Intelligence Research
Artificial Intelligence
1996English

Classical Methods in Nonmonotonic Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy