Sciweavers

1054 search results - page 136 / 211
» A Logic Language of Granular Computing
Sort
View
CP
2004
Springer
14 years 1 months ago
Constraint-Based Combinators for Local Search
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
ECAI
2004
Springer
14 years 1 months ago
Game-Theoretic Agent Programming in Golog
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Alberto Finzi, Thomas Lukasiewicz
WAC
2004
Springer
150views Communications» more  WAC 2004»
14 years 1 months ago
A Systems Architecture for Sensor Networks Based On Hardware/Software Co-design
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
Andy Nisbet, Simon Dobson
ECSQARU
1997
Springer
13 years 12 months ago
Assumption-Based Modeling Using ABEL
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Nor...
SIGMOD
2011
ACM
204views Database» more  SIGMOD 2011»
12 years 10 months ago
Datalog and emerging applications: an interactive tutorial
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo