Sciweavers

2386 search results - page 424 / 478
» Representing and Reasoning with Preferences
Sort
View
FLOPS
2008
Springer
14 years 11 months ago
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
Rafael Caballero, Mario Rodríguez-Artalejo,...
IJCAI
2007
14 years 11 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...
DAGSTUHL
2006
14 years 11 months ago
Hierarchies Relating Topology and Geometry
Cognitive Vision has to represent, reason and learn about objects in its environment it has to manipulate and react to. There are deformable objects like humans which cannot be des...
Walter G. Kropatsch, Yll Haxhimusa, Pascal Lienhar...
DGO
2006
82views Education» more  DGO 2006»
14 years 11 months ago
Should e-government design for citizen participation?: stealth democracy and deliberation
Cyberoptimists have heralded an age of citizen engagement enabled by electronic technologies that allow widespread citizen input in government decision making. In contrast, influe...
Peter Muhlberger
DLOG
2003
14 years 11 months ago
Incremental Query Answering for Implementing Document Retrieval Services
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
Volker Haarslev, Ralf Möller