159 search results - page 15 / 32 » Abductive Logic Programming with CIFF: System Description |
179
click to vote
CADE
2011
Springer
13 years 11 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
ICCAD
1996
IEEE
15 years 3 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
110
click to vote
ILP
2003
Springer
15 years 4 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
114
click to vote
LPKR
1997
Springer
15 years 3 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...