Sciweavers

5506 search results - page 31 / 1102
» Minimal Logic Programs
Sort
View
IJON
2002
52views more  IJON 2002»
13 years 7 months ago
Minimal MLPs do not model the XOR logic
Paulo J. G. Lisboa, Terence A. Etchells, Dave C. P...
CORR
2011
Springer
139views Education» more  CORR 2011»
13 years 2 months ago
Synthesizing Switching Logic to Minimize Long-Run Cost
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
KI
2006
Springer
13 years 7 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
ASP
2003
Springer
14 years 29 days ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca