-
Peter A. Flach.
On the Logic of Hypothesis Generation.
In Peter A. Flach and Antonis C. Kakas, editors, Abduction and Induction: Essays on Their Relation and Integration,
pages 89-106.
Kluwer Academic Publishers,
2000.
Keyword(s): inductive reasoning.
@InCollection{Flach:2000:LHG,
author = "Peter A. Flach",
title = "On the Logic of Hypothesis Generation",
booktitle = "Abduction and Induction: Essays on Their Relation and Integration",
editor = "Peter A. Flach and Antonis C. Kakas",
publisher = "Kluwer Academic Publishers",
pages = "89--106",
keywords = "inductive reasoning",
year = "2000",
}
-
Peter A. Flach and Antonis C. Kakas.
Abductive and Inductive Reasoning: Background and Issues.
In Peter A. Flach and Antonis C. Kakas, editors, Abduction and Induction: Essays on Their Relation and Integration,
pages 1-27.
Kluwer Academic Publishers,
2000.
Keyword(s): inductive reasoning.
@InCollection{Flach:2000:AIR,
author = "Peter A. Flach and Antonis C. Kakas",
title = "Abductive and Inductive Reasoning: Background and Issues",
booktitle = "Abduction and Induction: Essays on Their Relation and Integration",
editor = "Peter A. Flach and Antonis C. Kakas",
publisher = "Kluwer Academic Publishers",
pages = "1--27",
keywords = "inductive reasoning",
year = "2000",
}
-
Nicolas Lachiche.
Abduction and Induction From a Non-Monotonic Reasoning Perspective.
In Peter A. Flach and Antonis C. Kakas, editors, Abduction and Induction: Essays on Their Relation and Integration,
pages 107-116.
Kluwer Academic Publishers,
2000.
Keyword(s): inductive reasoning.
@InCollection{Lachiche:2000:AIN,
author = "Nicolas Lachiche",
title = "Abduction and Induction From a Non-Monotonic Reasoning Perspective",
booktitle = "Abduction and Induction: Essays on Their Relation and Integration",
editor = "Peter A. Flach and Antonis C. Kakas",
publisher = "Kluwer Academic Publishers",
pages = "107--116",
keywords = "inductive reasoning",
year = "2000",
}
-
Bruno De Backer,
Vincent Furnon,
Paul Shaw,
Philip Kilby,
and Patrick Prosser.
Solving Vehicle Routing Problems using Constraint Programming and Metaheuristics.
Journal of Heuristics,
6(4):501-523,
2000.
Keyword(s): vehicle routing problem,
constraint satisfaction.
@Article{Backer:2000:SVR,
author = "Bruno De Backer and Vincent Furnon and Paul Shaw and Philip Kilby and Patrick Prosser",
title = "Solving Vehicle Routing Problems using Constraint Programming and Metaheuristics",
journal = "Journal of Heuristics",
volume = "6",
number = "4",
pages = "501--523",
keywords = "vehicle routing problem, constraint satisfaction",
year = "2000",
}
-
Patrick Blackburn.
Representation, Reasoning, and Relational Structures: A Hybrid Logic Manifesto.
Logic Journal of the IGPL,
8(3):339-365,
2000.
Keyword(s): modal logic,
hybrid logic.
@Article{Blackburn:2000:RRR,
author = "Patrick Blackburn",
title = "Representation, Reasoning, and Relational Structures: {A} Hybrid Logic Manifesto",
journal = "Logic Journal of the IGPL",
volume = "8",
number = "3",
pages = "339--365",
keywords = "modal logic, hybrid logic",
year = "2000",
}
-
Craig Boutilier,
Richard Dearden,
and Moisés Goldszmidt.
Stochastic Dynamic Programming with Factored Representations.
Artificial Intelligence,
121(1-2):49-107,
2000.
Keyword(s): markov theory.
@Article{Boutilier:2000:SDP,
author = "Craig Boutilier and Richard Dearden and Mois\'{e}s Goldszmidt",
title = "Stochastic Dynamic Programming with Factored Representations",
journal = "Artificial Intelligence",
volume = "121",
number = "1-2",
pages = "49--107",
keywords = "markov theory",
year = "2000",
}
-
Giuseppe De Giacomo,
Yves Lespérance,
and Hector J. Levesque.
ConGolog, a Concurrent Programming Language based on the Situation Calculus..
Artificial Intelligence,
121(1-2):109-169,
2000.
Keyword(s): situation calculus,
agent programming language.
@Article{Giacomo:2000:CCP,
author = "Giuseppe De Giacomo and Yves Lesp\'{e}rance and Hector J. Levesque",
title = "ConGolog, a Concurrent Programming Language based on the Situation Calculus.",
journal = "Artificial Intelligence",
volume = "121",
number = "1-2",
pages = "109--169",
keywords = "situation calculus, agent programming language",
year = "2000",
}
-
Markus Hannebauer.
A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction.
Fundamenta Informaticae,
43(1-4):129-151,
2000.
Keyword(s): distributed constraint satisfaction,
distributed artificial intelligence,
multi-agent system.
@Article{Hannebauer:2000:FAD,
author = "Markus Hannebauer",
title = "A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction",
journal = "Fundamenta Informatic{\ae}",
volume = "43",
number = "1-4",
pages = "129--151",
keywords = "distributed constraint satisfaction, distributed artificial intelligence, multi-agent system",
year = "2000",
}
-
Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
and John-Jules Ch. Meyer.
Semantics of Communicating Agents Based on Deduction and Abduction.
Lecture Notes In Computer Science,
1916(Issues in Agent Communication):63-79,
2000.
Keyword(s): agent communication,
agent programming language,
inductive reasoning.
@Article{Hindriks:2000:SCA,
author = "Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer",
title = "Semantics of Communicating Agents Based on Deduction and Abduction",
journal = "Lecture Notes In Computer Science",
volume = "1916",
number = "Issues in Agent Communication",
pages = "63--79",
keywords = "agent communication, agent programming language, inductive reasoning",
year = "2000",
}
-
Peter Stone and Manuela Veloso.
Multiagent Systems: A Survey from a Machine Learning Perspective.
Autonomous Robots,
8(3):345-383,
2000.
Keyword(s): multi-agent system,
machine learning,
survey.
@Article{Stone:2000:MSS,
author = "Peter Stone and Manuela Veloso",
title = "Multiagent Systems: {A} Survey from a Machine Learning Perspective",
journal = "Autonomous Robots",
volume = "8",
number = "3",
pages = "345--383",
keywords = "multi-agent system, machine learning, survey",
year = "2000",
}
-
Makoto Yokoo and Katsutoshi Hirayama.
Algorithms for Distributed Constraint Satisfaction: A Review.
Autonomous Agents and Multi-Agent Systems,
3(2):185-207,
2000.
Keyword(s): algorithm,
constraint satisfaction.
@Article{Yokoo:2000:ADC,
author = "Makoto Yokoo and Katsutoshi Hirayama",
title = "Algorithms for Distributed Constraint Satisfaction: {A} Review",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "3",
number = "2",
pages = "185--207",
keywords = "algorithm, constraint satisfaction",
year = "2000",
}
-
Eduardo Alonso and Daniel Kudenko.
Logic-based Multi-Agent Systems for Conflict Simulations: A Preliminary Report on Architecture and Implementation.
In The Third Workshop of the UK Special Interest Group on Multi-Agetnt Systems,
2000.
Keyword(s): multi-agent system,
multi-agent learning,
explanation-based learning,
inductive logic programming.
@InProceedings{Alonso:2000:LBM,
author = "Eduardo Alonso and Daniel Kudenko",
title = "Logic-based Multi-Agent Systems for Conflict Simulations: {A} Preliminary Report on Architecture and Implementation",
booktitle = "The Third Workshop of the UK Special Interest Group on Multi-Agetnt Systems",
keywords = "multi-agent system, multi-agent learning, explanation-based learning, inductive logic programming",
year = "2000",
}
-
Alvaro A. A. Fernandes.
Combining Inductive and Deductive Inference in Knowledge Management Tasks.
In Proceedings of the 11th International Workshop on Database and Expert Systems Applications,
pages 1109-1114,
2000.
IEEE Computer Society.
Keyword(s): deductive-inductive system.
@InProceedings{Fernandes:2000:CID,
author = "Alvaro A. A. Fernandes",
title = "Combining Inductive and Deductive Inference in Knowledge Management Tasks",
booktitle = "Proceedings of the 11th International Workshop on Database and Expert Systems Applications",
publisher = "IEEE Computer Society",
pages = "1109--1114",
keywords = "deductive-inductive system",
year = "2000",
}
-
Fedor A. Kolushev and Alexander A. Bogdanov.
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.
In PSI '99: Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics,
volume 1755,
pages 503-510,
2000.
Springer-Verlag.
Keyword(s): multi-agent planning,
path planning.
@InProceedings{Kolushev:2000:MAO,
author = "Fedor A. Kolushev and Alexander A. Bogdanov",
title = "Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles",
booktitle = "PSI '99: Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics",
publisher = "Springer-Verlag",
volume = "1755",
pages = "503--510",
keywords = "multi-agent planning, path planning",
year = "2000",
}
-
David Lorenzo and Ramon P. Otero.
Using a ILP algorithm to learn Logic Programs for Reasoning about Actions.
In J. Cussens and A. Frisch, editors,
Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming,
pages 163-171,
2000.
Keyword(s): situation calculus,
inductive logic programming.
@InProceedings{Lorenzo:2000:UIA,
author = "David Lorenzo and Ramon P. Otero",
title = "Using a {ILP} algorithm to learn Logic Programs for Reasoning about Actions",
booktitle = "Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming",
editor = "J. Cussens and A. Frisch",
pages = "163--171",
keywords = "situation calculus, inductive logic programming",
year = "2000",
}
-
Tohgoroh Matsui,
Nobuhiro Inuzuka,
and Hirohisa Seki.
A Proposal for Inductive Learning Agent Using First-Order Logic.
In Proceedings of the Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming,
pages 180-193,
2000.
Keyword(s): inductive learning.
@InProceedings{Matsui:2000:PIL,
author = "Tohgoroh Matsui and Nobuhiro Inuzuka and Hirohisa Seki",
title = "A Proposal for Inductive Learning Agent Using First-Order Logic",
booktitle = "Proceedings of the Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming",
pages = "180--193",
keywords = "inductive learning",
year = "2000",
}
-
Hayato Ohwada,
Hiroyuki Nishiyama,
and Fumio Mizoguchi.
Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment.
In 10th International Conference on Inductive Logic Programming,
pages 165-173,
2000.
Springer-Verlag.
Keyword(s): inductive logic programming,
distributed problem solving.
@InProceedings{Ohwada:2000:CEO,
author = "Hayato Ohwada and Hiroyuki Nishiyama and Fumio Mizoguchi",
title = "Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment",
booktitle = "10th International Conference on Inductive Logic Programming",
publisher = "Springer-Verlag",
pages = "165--173",
keywords = "inductive logic programming, distributed problem solving",
year = "2000",
}
-
S. L. Ricker and K. Rudie.
Distributed Knowledge for Communication in Decentralized Discrete-Event Systems.
In Proceedings of the 39th IEEE Conference on Decision and Control,
volume 1,
pages 9-15,
2000.
Keyword(s): distributed knowledge system,
modal logic.
@InProceedings{Ricker:2000:DKC,
author = "S. L. Ricker and K. Rudie",
title = "Distributed Knowledge for Communication in Decentralized Discrete-Event Systems",
booktitle = "Proceedings of the 39th IEEE Conference on Decision and Control",
volume = "1",
pages = "9--15",
keywords = "distributed knowledge system, modal logic",
year = "2000",
}