1746 search results - page 57 / 350 » A Constructive Semantics for ALC |
120
click to vote
AGP
1993
IEEE
15 years 8 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
152
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We present a user interface, the OntoRefiner1 system, for helping the user to navigate numerous retrieved documents after a search querying a semantic portal which integrates a ver...
134
Voted
KI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
187
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
137
click to vote
DALT
2005
Springer
15 years 9 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...