- PROSOCS: a platform for programming software agents in computational logic
- Protocols for tractable resource allocation with k-additive utilities Yann Chevaleyre
- Aspects of Protocol Conformance in Inter-agent Dialogue Ulle Endriss, Nicolas Maudet, Fariba Sadri and Francesca Toni
- WinKE: A Proof Assistant for Teaching Logic Marcello D'Agostino and Ulrich Endriss
- The 1st International Workshop on Computational Social Choice
- Distributed Fair Allocation of Indivisible Goods Yann Chevaleyre
- Lecture Notes on Fair Division Ulle Endriss
- Complexity of Winner Determination and Strategic Manipulation in Judgment Aggregation
- A Mixed Multi-unit Combinatorial Auctions Test Suite Andrea Giovannucci
- Annals of Operations Research Multiagent Resource Allocation in k-additive Domains
- Reaching Envy-free States in Distributed Negotiation Settings Yann Chevaleyre Ulle Endriss Sylvia Estivie Nicolas Maudet
- Journal of Artificial Intelligence Research 25 (2006) 315348 Submitted 08/05; published 03/06 Negotiating Socially Optimal Allocations of Resources
- Crafting the Mind of PROSOCS Agents Andrea Bracciali1
- Refinements of the CIFF Procedure Ulle Endriss1
- The Knowledge Engineering Review, Vol. 20:2, 143149. 2005, Cambridge University Press doi:10.1017/S0269888905000470 Printed in the United Kingdom
- The KGP Model of Agency for Global Computing: Computational Model and
- On the Communication Complexity of Multilateral Trading Ulle Endriss
- Abductive Logic Programming with CIFF: Implementation and Applications
- The CIFF Proof Procedure: Definition and Soundness Results
- Welfare Engineering in Multiagent Systems Ulle Endriss1
- Halfway between Points and Intervals: A Temporal Logic Based on Ordered Trees
- Protocol Conformance for Logic-based Agents Ulrich Endriss and Nicolas Maudet and Fariba Sadri and Francesca Toni
- Abstract Models for Dialogue Protocols: A Preliminary Report
- On Optimal Outcomes of Negotiations over Resources Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni
- Modal Logics of Ordered Trees Ulrich Endriss
- Using Interaction and Visualisation for Teaching Deductive Reasoning
- Towards a Hierarchy of Abstract Models for Dialogue Protocols
- Modal Logics of Ordered Trees: Ulle Endriss
- MEng Individual Project Report A KE Based Theorem Proving Assistant
- Sincerity and Manipulation under Approval Voting Ulle Endriss
- Resource Allocation in Egalitarian Agent Societies Ulrich Endriss
- Adding a Zoom to Linear Temporal Logic Ulle Endriss
- Aspects of Protocol Conformance in Inter-agent Dialogue Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni
- Compactly Representing Utility Functions Using Weighted Goals and the Max Aggregator$
- Abductive Logic Programming with CIFF: System Description
- MAXIMAL CLASSES OF UTILITY FUNCTIONS FOR EFFICIENT ONE-TO-ONE NEGOTIATION: EXTENDED ABSTRACT
- The CIFF Proof Procedure for Abductive Logic Programming with Constraints
- Welfare Engineering in Practice: On the Variety of Multiagent Resource Allocation Problems
- Adding a Zoom to Linear Temporal Logic Ulrich Endriss
- Negotiating over Small Bundles of Resources Yann Chevaleyre1
- Winner Determination for Mixed Multi-unit Combinatorial Auctions via Petri Nets
- Distributed Negotiation under Uncertainty as a Foundation for Theories of Social Welfare
- On the Communication Complexity of Multilateral Trading: Extended Report
- Description Logics Description logics are formal knowledge representation languages with a relatively
- Modal Logic and Temporal Constraint Networks Ulrich Endriss
- Reasoning in Description Logics with Wellington 1.0 System Description \Lambda
- Negotiating Socially Optimal Allocations of Resources: An Overview
- Mixed Multi-unit Combinatorial Auctions for Supply Chain Management
- Abstract Models for Dialogue Protocols (Extended Abstract)
- Logic-based Agent Communication Protocols Ulle Endriss1
- Time Constraints in Mixed Multi-unit Combinatorial Auctions
- Semantik zeitlicher Ausdr ucke in Terminvereinbarungsdialogen
- First International Congress on Tools for Teaching Logic
- Solution to Exchanges 8.1 Puzzle: Identifying the Champion
- Trajectories of Goods in Distributed Allocation Yann Chevaleyre
- Sur le caractre galitaire de l'allocation de ressources distribue
- TECHNISCHE UNIVERSIT AT BERLIN --FACHBEREICH INFORMATIK
- Repr asentation zeitlicher Ausdr ucke
- Temporal Logics for Normative Agent Communication Protocols
- Competent Agents and Customising Protocols Ulle Endriss1
- Logic and Social Choice Theory Ulle Endriss
- Voter Response to Iterated Poll Information Annemieke Reijngoud and Ulle Endriss
- Sincerity and Manipulation under Approval Voting Ulle Endriss
