Searching for "Knowledge Representation and Automated Reasoning." – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
Spinoza's Ontology
- … Dresden Abstract. We examine the possibility of applying knowledge representation and automated reasoning…
- Add To MetaCart
-
Carving Up Space: steps towards construction of an absolutely complete theory of spatial regions
- … the point of view of knowledge representation and automated reasoning this often leads to difficulties. One…
- Cited by 13 (3 self) – Add To MetaCart
-
Knowledge-based software engineering
- …. As the science of knowledge representation and automated reasoning advances, AI has the potential to radically…
- Cited by 10 (1 self) – Add To MetaCart
-
SCDBR: An Automated Reasoner for Database Updates (Extended Abstract)
- …: Specifications of Database Updates, Knowledge Representation, Automated Reasoning, Integrity Constraints…
- Cited by 4 (3 self) – Add To MetaCart
-
A Logic for Representing and Reasoning About Robotic Navigation on a Shop Floor
- … representation, automated reasoning, robotics. 1 Introduction We present a logic suitable for representing…
- Add To MetaCart
-
Research Projects for Graduate Students
- … interests to do with knowledge representation, automated reasoning and machine learning. Results are applied…
- Add To MetaCart
-
Automated Reasoning for Collective Information Management
- … representation underlying the proposed automated reasoning technique, summarises the technique itself…
- Cited by 2 (1 self) – Add To MetaCart
-
What are the points? What are the stances?
- … Representation and automated reasoning Some authors in computational linguistics have approached contexts. Ballim…
- Add To MetaCart
-
Knowledge Representation and
- …Knowledge Representation and Automated Reasoning for E-Learning Systems Peter Baumgartner, Paul A…
- Add To MetaCart
-
Model-Based Diagnosis Of Complex, Continuous Mechanisms
- …-fault. 1.1.4 Claims of This Report We propose advances in knowledge representation and automated reasoning…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
