1137 search results - page 130 / 228 » Logic Programming for Knowledge Representation |
CSL
2008
Springer
15 years 4 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
161
click to vote
FLAIRS
2009
15 years 27 days ago
2009
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...
109
click to vote
AAAI
1998
15 years 4 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
199
click to vote
SLOGICA
2011
14 years 10 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
112
click to vote
AAAI
2006
15 years 4 months ago
2006
A long-standing goal of AI is the development of intelligent workstation-based personal agents to assist users in their daily lives. A key impediment to this goal is the unrealist...