7167 search results - page 718 / 1434 » Answer Set Programming |
166
click to vote
AUSAI
2005
Springer
16 years 22 days ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
205
click to vote
CCA
2005
Springer
16 years 22 days ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
171
click to vote
CP
2005
Springer
16 years 22 days ago
2005
Springer
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the ser...
160
click to vote
ICALP
2004
Springer
16 years 17 days ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
152
click to vote
OOPSLA
2004
Springer
16 years 17 days ago
2004
Springer
The Marine Biology Simulation is designed as a final project in an objects-first CS2 course. It provides an entertaining setting that serves as compelling example of the powers of...