Yannis Dimopoulos

Jean-Guy Mailly

Auton. Agents Multi Agent Syst., 2021

Probabilistic Control Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Encoding Reversing Petri Nets in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 12th International Conference, 2020

2019

plasp 3: Towards Effective ASP Planning.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Argumentation-based Negotiation with Incomplete Opponent Profiles.

[BibT_eX]

[DOI]

Jean-Guy Mailly

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Control Argumentation Frameworks.

[BibT_eX]

[DOI]

Jean-Guy Mailly

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2016

Some Theoretical Results on the Relationship Between Argumentation and Coherence Theory.

[BibT_eX]

[DOI]

Carles Sierra

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

2014

Heuristic Guided Optimization for Propositional Planning.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2012

μ-SATPLAN: Multi-agent planning as satisfiability.

[BibT_eX]

[DOI]

Muhammad Adnan Hashmi

Knowl. Based Syst., 2012

Propositional Planning as Optimization.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Tactics and Concessions for Argumentation-based Negotiation.

[BibT_eX]

[DOI]

Nabila Hadidi

Proceedings of the Computational Models of Argument, 2012

Knowing each other in argumentation-based negotiation.

[BibT_eX]

[DOI]

Elise Bonzon

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2010

Extending SATPLAN to Multiple Agents.

[BibT_eX]

[DOI]

Muhammad Adnan Hashmi

Proceedings of the Research and Development in Intelligent Systems XXVII, 2010

Argumentative Alternating Offers.

[BibT_eX]

[DOI]

Nabila Hadidi

Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

Constraint Propagation in Propositional Planning.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009

Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners.

[BibT_eX]

[DOI]

Artif. Intell., 2009

Ceteris Paribus Preference Elicitation with Predictive Guarantees.

[BibT_eX]

[DOI]

Loizos Michael

Fani Athienitou

Proceedings of the IJCAI 2009, 2009

Extending Argumentation to Make Good Decisions.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Decision Theory, First International Conference, 2009

2008

Making Decisions through Preference-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Characterizing the Outcomes of Argumentation-Based Integrative Negotiation.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

Theoretical and Computational Properties of Preference-based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

A unified and general framework for argumentation-based negotiation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A General Framework for Argumentation-Based Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, 4th International Workshop, 2007

2006

Multi-Agent Coordination and Cooperation through Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Propagation in CSP and SAT.

[BibT_eX]

[DOI]

Kostas Stergiou

Proceedings of the Principles and Practice of Constraint Programming, 2006

Qualitative Preference Modelling in Constraint Satisfaction.

[BibT_eX]

[DOI]

Alexis Tsoukiàs

Proceedings of the Decision Theory and Multi-Agent Planning, 2006

2005

Argumentation Based Modelling of Embedded Agent Dialogues.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

2004

Extended Semantics and Optimization Algorithms for CP-Networks.

[BibT_eX]

[DOI]

Ronen I. Brafman

Comput. Intell., 2004

Reasoning About Actions and Change in Answer Set Programming.

[BibT_eX]

[DOI]

Loizos Michael

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Argumentation Based Modeling of Decision Aiding for Autonomous Agents.

[BibT_eX]

[DOI]

Alexis Tsoukiàs

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003

A New Look at the Semantics and Optimization Methods of CP-Networks.

[BibT_eX]

[DOI]

Ronen I. Brafman

Proceedings of the IJCAI-03, 2003

2002

On the computational complexity of assumption-based argumentation for default reasoning.

[BibT_eX]

[DOI]

Francesca Toni

Artif. Intell., 2002

Towards Local Search for Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

Temporal Planning through Mixed Integer Programming: A Preliminary Report.

[BibT_eX]

[DOI]

Alfonso Gerevini

Proceedings of the Principles and Practice of Constraint Programming, 2002

Temporal Planning through Mixed Integer Programming.

[BibT_eX]

Alfonso Gerevini

Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

2001

Information Integration and Computational Logic

[BibT_eX]

[DOI]

CoRR, 2001

2000

Finding Admissible and Preferred Arguments Can be Very Hard.

[BibT_eX]

Francesca Toni

Proceedings of the KR 2000, 2000

1999

Preferred Arguments are Harder to Compute than Stable Extension.

[BibT_eX]

[DOI]

Francesca Toni

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Integer Programs and Valid Inequalities for Planning Problems.

[BibT_eX]

[DOI]

Alexander Bockmayr

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

1997

On Kernels, Defaults and Even Graphs.

[BibT_eX]

[DOI]

Christos H. Papadimitriou

Vangelis Magirou

Ann. Math. Artif. Intell., 1997

Integrating Explanatory and Descriptive Learning in ILP.

[BibT_eX]

[DOI]

Saso Dzeroski

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Ignoring Irrelevant Facts and Operators in Plan Generation.

[BibT_eX]

[DOI]

Jana Koehler

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Extending Planning Graphs to an ADL Subset.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Encoding Planning Problems in Nonmonotonic Logic Programs.

[BibT_eX]

[DOI]

Jana Koehler

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

1996

Graph Theoretical Structures in Logic Programs and Default Theories.

[BibT_eX]

[DOI]

Alberto Torres

Theor. Comput. Sci., 1996

On the Parallel Complexity of Acyclic Logic Programs.

[BibT_eX]

[DOI]

Shiva Chaudhuri

Christos D. Zaroliagis

Parallel Process. Lett., 1996

On Computing Logic Programs.

[BibT_eX]

[DOI]

J. Autom. Reason., 1996

1995

Use of some sensitivity criteria for choosing networks with good generalization ability.

[BibT_eX]

[DOI]

Paul Bourret

Sovan Lek

Neural Process. Lett., 1995

Logic Programming without Negation as Failure.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Learning Non-Monotonic Logic Programs: Learning Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning: ECML-95, 1995

1994

A Graph-Theoretic Approach to Default Logic

[BibT_eX]

[DOI]

Vangelis Magirou

Inf. Comput., August, 1994

The Computational Value of Joint Consistency.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

Classical Methods in Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1992

On the semantics of inheritance networks.

[BibT_eX]

[DOI]