4617 search results - page 258 / 924 » Automation of Diagrammatic Reasoning |
162
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
170
click to vote
ECSQARU
2007
Springer
16 years 21 days ago
2007
Springer
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...
166
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
156
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
193
click to vote
TIME
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...