Sciweavers

5506 search results - page 31 / 1102
» Minimal Logic Programs
Sort
View
73
Voted
IJON
2002
52views more  IJON 2002»
15 years 11 days ago
Minimal MLPs do not model the XOR logic
Paulo J. G. Lisboa, Terence A. Etchells, Dave C. P...
75
Voted
CORR
2011
Springer
139views Education» more  CORR 2011»
14 years 7 months ago
Synthesizing Switching Logic to Minimize Long-Run Cost
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
KI
2006
Springer
15 years 19 days 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
116
Voted
ASP
2003
Springer
15 years 6 months 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