3983 search results - page 11 / 797 » Conceptual logic programs |
DKE
2006
15 years 1 months ago
2006
CJ
2000
15 years 1 months ago
2000
GEOINFORMATICA
2007
15 years 1 months ago
2007
127
click to vote
IJCAI
2007
15 years 3 months ago
2007
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
112
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...