Sciweavers

947 search results - page 7 / 190
» Declarative Programming in Prolog
Sort
View
LPNMR
2004
Springer
14 years 23 days ago
Probabilistic Reasoning With Answer Sets
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
Chitta Baral, Michael Gelfond, J. Nelson Rushton
CORR
2010
Springer
62views Education» more  CORR 2010»
13 years 7 months ago
Portability of Prolog programs: theory and case-studies
(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since
Jan Wielemaker, Vítor Santos Costa
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
13 years 11 months ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg
SEMWEB
2009
Springer
14 years 1 months ago
Processing OWL2 Ontologies using Thea: An Application of Logic Programming
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
Vangelis Vassiliadis, Jan Wielemaker, Chris Mungal...
PADL
2000
Springer
13 years 11 months ago
GNU Prolog: Beyond Compiling Prolog to C
Daniel Diaz, Philippe Codognet