| 2007 |
|---|
| 40 | EE | Louise Leenen,
Anbulagan,
Thomas Meyer,
Aditya K. Ghose:
Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT.
Australian Conference on Artificial Intelligence 2007: 202-212 |
| 39 | EE | Zhi Qiang Zhuang,
Maurice Pagnucco,
Thomas Meyer:
Implementing Iterated Belief Change Via Prime Implicates.
Australian Conference on Artificial Intelligence 2007: 507-518 |
| 38 | EE | Richard Booth,
Thomas Meyer:
On the Dynamics of Total Preorders: Revising Abstract Interval Orders.
ECSQARU 2007: 42-53 |
| 37 | EE | Anne Cregan,
Rolf Schwitter,
Thomas Meyer:
Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1.
OWLED 2007 |
| 36 | EE | Louise Leenen,
Thomas Meyer,
Aditya Ghose:
Relaxations of semiring constraint satisfaction problems.
Inf. Process. Lett. 103(5): 177-182 (2007) |
| 2006 |
|---|
| 35 | | Thomas Meyer,
Kevin Lee,
Richard Booth,
Jeff Z. Pan:
Finding Maximally Satisfiable Terminologies for the Description Logic ALC.
AAAI 2006 |
| 34 | EE | Laurent Perrussel,
Jean-Marc Thévenin,
Thomas Meyer:
Mutual enrichment through nested belief change.
AAMAS 2006: 226-228 |
| 33 | EE | Kevin Lee,
Thomas Meyer,
Jeff Z. Pan,
Richard Booth:
Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions.
Description Logics 2006 |
| 32 | | Laurent Perrussel,
Jean-Marc Thévenin,
Thomas Meyer:
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach.
ECAI 2006: 731-732 |
| 31 | | Richard Booth,
Thomas Meyer,
Ka-shu Wong:
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder.
KR 2006: 230-238 |
| 30 | EE | Louise Leenen,
Thomas Meyer,
Peter Harvey,
Aditya Ghose:
A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings.
PRICAI 2006: 907-911 |
| 29 | EE | Samir Chopra,
Aditya K. Ghose,
Thomas Meyer:
Social choice theory, belief merging, and strategy-proofness.
Information Fusion 7(1): 61-79 (2006) |
| 28 | EE | Richard Booth,
Thomas Meyer:
Admissible and Restrained Revision.
J. Artif. Intell. Res. (JAIR) 26: 127-151 (2006) |
| 2005 |
|---|
| 27 | | Thomas Meyer,
Kevin Lee,
Richard Booth:
Knowledge Integration for Description Logics.
AAAI 2005: 645-650 |
| 26 | EE | Thomas Meyer,
Pilar Pozos Parra,
Laurent Perrussel:
Mediation Using m-States.
ECSQARU 2005: 489-500 |
| 25 | EE | Richard Booth,
Samir Chopra,
Aditya Ghose,
Thomas Meyer:
Belief Liberation (and Retraction).
Studia Logica 79(1): 47-72 (2005) |
| 2004 |
|---|
| 24 | | Thomas Meyer,
Norman Y. Foo,
Rex Kwok,
Dongmo Zhang:
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation.
AAAI 2004: 293-298 |
| 23 | | Dongmo Zhang,
Norman Y. Foo,
Thomas Meyer,
Rex Kwok:
Negotiation as Mutual Belief Revision.
AAAI 2004: 317-323 |
| 22 | EE | Norman Y. Foo,
Thomas Meyer,
Gerhard Brewka:
LPOD Answer Sets and Nash Equilibria.
ASIAN 2004: 343-351 |
| 21 | EE | Kevin Lee,
Thomas Meyer:
A Classification of Ontology Modification.
Australian Conference on Artificial Intelligence 2004: 248-258 |
| 20 | | Richard Booth,
Samir Chopra,
Thomas Meyer,
Aditya Ghose:
A Unifying Semantics for Belief Change.
ECAI 2004: 793-797 |
| 19 | | Thomas Meyer,
Norman Y. Foo,
Rex Kwok,
Dongmo Zhang:
Logical Foundations of Negotiation: Strategies and Preferences.
KR 2004: 311-318 |
| 18 | EE | Richard Booth,
Samir Chopra,
Thomas Meyer,
Aditya Ghose:
A unifying semantics for belief change.
NMR 2004: 72-78 |
| 17 | EE | Thomas Meyer,
Burkhart Wolff:
Tactic-Based Optimized Compilation of Functional Programs.
TYPES 2004: 201-214 |
| 16 | EE | Rikard Bøgvad,
Thomas Meyer:
On algorithmically checking whether a Hilbert series comes from a complete intersection.
J. Symb. Comput. 38(6): 1487-1506 (2004) |
| 2003 |
|---|
| 15 | EE | Renate Klempien-Hinrichs,
Thomas Meyer,
Carolina von Totth:
Collage Grammars for Collision-Free Growing of Objects in 3D Scenes.
AGTIVE 2003: 383-397 |
| 14 | EE | Richard Booth,
Samir Chopra,
Aditya Ghose,
Thomas Meyer:
Belief liberation (and retraction).
TARK 2003: 159-172 |
| 2002 |
|---|
| 13 | | Samir Chopra,
Aditya Ghose,
Thomas Meyer:
Iterated revision and the axiom of recovery: A unified treatment via epistemic states.
ECAI 2002: 541-545 |
| 12 | | Samir Chopra,
Aditya Ghose,
Thomas Meyer:
Iterated revision and the axiom of recovery: a unified treatment via epistemic states.
NMR 2002: 117-123 |
| 11 | | Samir Chopra,
Johannes Heidema,
Thomas Meyer:
Some logics of belief and disbelief.
NMR 2002: 25-32 |
| 10 | EE | Thomas Meyer,
Aditya Ghose,
Samir Chopra:
Syntactic Representations of Semantic Merging Operations.
PRICAI 2002: 620 |
| 2001 |
|---|
| 9 | EE | Thomas Meyer,
Aditya Ghose,
Samir Chopra:
Social Choice, Merging, and Elections.
ECSQARU 2001: 466-477 |
| 8 | | Thomas Meyer:
On the semantics of combination operations.
Journal of Applied Non-Classical Logics 11(1-2): 59-84 (2001) |
| 7 | EE | Pascal Furet,
Thomas Meyer,
Peer Mittl,
Heinz Fretz:
Identification of cylin-dependent kinase 1 inhibitors of a new chemical type by structure-based design and database searching.
Journal of Computer-Aided Molecular Design 15(5): 489-495 (2001) |
| 6 | | Thomas Meyer:
Basic Infobase Change.
Studia Logica 67(2): 215-242 (2001) |
| 2000 |
|---|
| 5 | | Thomas Meyer:
Merging Epistemic States.
PRICAI 2000: 286-296 |
| 4 | EE | Thomas Meyer:
On the semantics of merging
CoRR cs.AI/0003015: (2000) |
| 3 | EE | Pascal Furet,
Juerg Zimmermann,
Hans-Georg Capraro,
Thomas Meyer,
Patricia Imbach:
Structure-based design of potent CDK1 inhibitors derived from olomoucine.
Journal of Computer-Aided Molecular Design 14(5): 403-409 (2000) |
| 1999 |
|---|
| 2 | | Thomas Meyer:
Basic Infobase Change.
Australian Joint Conference on Artificial Intelligence 1999: 156-167 |
| 1997 |
|---|
| 1 | | Kolyang,
Christoph Lüth,
Thomas Meyer,
Burkhart Wolff:
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.
TAPSOFT 1997: 855-858 |
