754 search results - page 48 / 151 » An Ordered Logic Program Solver |
102
Voted
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
100
Voted
TARK
2005
Springer
15 years 6 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
121
click to vote
ALT
2004
Springer
15 years 9 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
151
click to vote
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
86
Voted
ASP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...