2236 search results - page 127 / 448 » Language Independence and Language Tolerance in Logic Progra... |
165
click to vote
ICLP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
174
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
152
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Today, the choice for a particular programming language limits the alternative products that can be used to deploy the program. The purpose of this work is to break the strong tie...
179
click to vote
ADL
1997
Springer
15 years 10 months ago
1997
Springer
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...
171
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...