4617 search results - page 144 / 924 » Automation of Diagrammatic Reasoning |
359
click to vote
ICLP
2011
Springer
14 years 9 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
258
click to vote
LPNMR
2011
Springer
14 years 9 months ago
2011
Springer
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...
198
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—A bicategory of concurrent games, where nondeterministic strategies are formalized as certain maps of event structures, was introduced recently. This paper studies an ex...
138
click to vote
AB
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...
166
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...