Sciweavers

3119 search results - page 189 / 624
» General Default Logic
Sort
View
86
Voted
CLIMA
2004
15 years 2 months ago
Planning Experiments in the DALI Logic Programming Language
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
Stefania Costantini, Arianna Tocchio
AAAI
2000
15 years 2 months ago
Towards a Logic-Based Theory of Argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting argu...
Philippe Besnard, Anthony Hunter
75
Voted
WOA
2003
15 years 2 months ago
Strips-like Planning in the DALI Logic Programmming Language
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
Stefania Costantini, Arianna Tocchio
78
Voted
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 23 days ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
JAIR
2008
145views more  JAIR 2008»
15 years 20 days ago
Efficiency and Envy-freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity
We consider the problem of allocating fairly a set of indivisible goods among agents from the point of view of compact representation and computational complexity. We start by ass...
Sylvain Bouveret, Jérôme Lang