895 search results - page 17 / 179 » A Spectrum of Applications of Automated Reasoning |
105
click to vote
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
102
click to vote
LICS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...
CONTEXT
2007
Springer
15 years 3 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
KI
2001
Springer
15 years 2 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...