808 search results - page 84 / 162 » What Is Answer Set Programming |
TABLEAUX
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
ACIVS
2008
Springer
13 years 11 months ago
2008
Springer
Several image mosaicing algorithms claiming to advance the state of the art have been proposed so far. Though sometimes improvements can be recognised without quantitative evidence...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
PPDP
2010
Springer
13 years 6 months ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
391
click to vote
Book
"Bxbasic is presented as a programming tutorial, to develop and construct a Console Mode Scripting Engine and
Byte Code Compiler. The Bxbasic dialect, included here, is a sub...