143 search results - page 22 / 29 » On Some Differences Between Semantics of Logic Program Updat... |
120
Voted
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
119
Voted
AAAI
2006
15 years 2 months ago
2006
In this paper, we discuss how our work on evaluating Semantic Web knowledge base systems (KBSs) contributes to address some broader AI problems. First, we show how our approach pr...
204
Voted
POPL
2003
ACM
16 years 28 days ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
106
Voted
SEKE
2004
Springer
15 years 6 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
88
Voted
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...