-
Joke Meheus.
Adaptive Logics and the Integration of Induction and Deduction.
In F. Stadler, editor, Induction and Deduction in the Sciences,
volume 11 of Vienna Circle Institute Yearbook,
pages 93-120.
Kluwer,
2004.
Keyword(s): deductive-inductive system.
@InCollection{Meheus:2004:ALI,
author = "Joke Meheus",
title = "Adaptive Logics and the Integration of Induction and Deduction",
booktitle = "Induction and Deduction in the Sciences",
editor = "F. Stadler",
series = "Vienna Circle Institute Yearbook",
publisher = "Kluwer",
volume = "11",
pages = "93--120",
keywords = "deductive-inductive system",
year = "2004",
}
-
Silvio do Lago Pereira and Leliane Nunes de Barros.
High-Level Robot Programming: An Abductive Approach Using Event Calculus.
In Advances in Artificial Intelligence - SBIA 2004,
volume 3171 of Lecture Notes in Computer Science,
pages 73-82.
Springer,
2004.
Keyword(s): planning,
event calculus,
deductive-inductive system,
abductive logic programming.
@InCollection{Pereira:2004:HLR,
author = "Silvio do Lago Pereira and Leliane Nunes de Barros",
title = "High-Level Robot Programming: An Abductive Approach Using Event Calculus",
booktitle = "Advances in Artificial Intelligence - SBIA 2004",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
volume = "3171",
pages = "73--82",
keywords = "planning, event calculus, deductive-inductive system, abductive logic programming",
year = "2004",
}
-
Silvio do Lago Pereira and Leliane Nunes de Barros.
Planning with Abduction A Logical Framework to Explore Extensions to Classical Planning.
In Advances in Artificial Intelligence - SBIA 2004,
volume 3171,
pages 62-72.
Springer,
2004.
Keyword(s): planning,
event calculus,
deductive-inductive system,
abductive logic programming.
@InCollection{Pereira:2004:PAL,
author = "Silvio do Lago Pereira and Leliane Nunes de Barros",
title = "Planning with Abduction {A} Logical Framework to Explore Extensions to Classical Planning",
booktitle = "Advances in Artificial Intelligence - SBIA 2004",
publisher = "Springer",
volume = "3171",
pages = "62--72",
keywords = "planning, event calculus, deductive-inductive system, abductive logic programming",
year = "2004",
}
-
Samir Aknine,
Suzanne Pinson,
and Melvin F. Shakun.
An Extended Multi-Agent Negotiation Protocol.
Autonomous Agents and Multi-Agent Systems,
8(1):1387-2532,
2004.
Keyword(s): contract net,
multi-agent system,
multi-agent coordination.
@Article{Aknine:2004:EMA,
author = "Samir Aknine and Suzanne Pinson and Melvin F. Shakun",
title = "An Extended Multi-Agent Negotiation Protocol",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "8",
number = "1",
pages = "1387--2532",
keywords = "contract net, multi-agent system, multi-agent coordination",
year = "2004",
}
-
David Basin,
Yves Deville,
Pierre Flener,
Andreas Hamfelt,
and Jorgen Fischer Nilsson.
Synthesis of Programs in Computational Logic.
Lecture Notes in Computer Science,
3049:30-65,
2004.
Keyword(s): program synthesis,
logic programming,
survey.
@Article{Basin:2004:SPC,
author = "David Basin and Yves Deville and Pierre Flener and Andreas Hamfelt and J{\o}rgen Fischer Nilsson",
title = "Synthesis of Programs in Computational Logic",
journal = "Lecture Notes in Computer Science",
volume = "3049",
pages = "30--65",
keywords = "program synthesis, logic programming, survey",
year = "2004",
}
-
Mark D'Inverno,
Michael Luck,
Michael P. Georgeff,
David Kinny,
and Michael J. Wooldridge.
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.
Autonomous Agents and Multi-Agent Systems,
9:5-53,
2004.
Keyword(s): agent programming language,
multi-agent system.
@Article{DInverno:2004:DAS,
author = "Mark D'Inverno and Michael Luck and Michael P. Georgeff and David Kinny and Michael J. Wooldridge",
title = "The d{MARS} Architecture: {A} Specification of the Distributed Multi-Agent Reasoning System",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "9",
pages = "5--53",
keywords = "agent programming language, multi-agent system",
year = "2004",
}
-
Alejandro Guerra-Hernández,
Amal El Fallah-Seghrouchni,
and Henry Soldano.
Learning in BDI Multi-Agent Systems.
Lecture Notes in Computer Science,
3259:218-233,
2004.
Keyword(s): multi-agent learning,
BDI architecture,
inductive logic programming,
high relevance.
@Article{Guerra-Hernandez:2004:LBM,
author = "Alejandro Guerra-Hern\'{a}ndez and Amal El Fallah-Seghrouchni and Henry Soldano",
title = "Learning in {BDI} Multi-Agent Systems",
journal = "Lecture Notes in Computer Science",
volume = "3259",
pages = "218--233",
keywords = "multi-agent learning, BDI architecture, inductive logic programming, high relevance",
year = "2004",
}
-
Marina De Vos and Dirk Vermeir.
Extending Answer Sets for Logic Programming Agents.
Annals of Mathematics and Artificial Intelligence,
42(1-3):103-139,
2004.
Keyword(s): multi-agent system,
answer set programming.
@Article{Vos:2004:EAS,
author = "Marina De Vos and Dirk Vermeir",
title = "Extending Answer Sets for Logic Programming Agents",
journal = "Annals of Mathematics and Artificial Intelligence",
volume = "42",
number = "1-3",
pages = "103--139",
keywords = "multi-agent system, answer set programming",
year = "2004",
}
-
Franco Zambonelli and Andrea Omicini.
Challenges and Research Directions in Agent-Oriented Software Engineering.
Autonomous Agents and Multi-Agent Systems,
9(3):253-283,
2004.
Keyword(s): intelligent agents,
multi-agent system,
software engineering.
@Article{Zambonelli:2004:CRD,
author = "Franco Zambonelli and Andrea Omicini",
title = "Challenges and Research Directions in Agent-Oriented Software Engineering",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "9",
number = "3",
pages = "253--283",
keywords = "intelligent agents, multi-agent system, software engineering",
year = "2004",
}