Sciweavers

1052 search results - page 53 / 211
» Distributed Logic Programming using Mobile Agents
Sort
View
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 7 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
LPNMR
1999
Springer
15 years 6 months ago
On the Role of Negation in Choice Logic Programs
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
Marina De Vos, Dirk Vermeir
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
15 years 6 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
ENTCS
2002
157views more  ENTCS 2002»
15 years 2 months ago
Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
Michael Schroeder, Ralf Schweimeier
DFMA
2005
IEEE
152views Multimedia» more  DFMA 2005»
15 years 8 months ago
An Agent Based Meta-Model For Urban Mobility Modeling
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
Nicolas Marilleau