Search the dblp DataBase

Publications of Author

1. Renate Klempien-Hinrichs, Thomas Meyer, Carolina von Totth
   Collage Grammars for Collision-Free Growing of Objects in 3D Scenes. [Citation Graph (0, 0)][DBLP]
   AGTIVE, 2003, pp:383-397 [Conf]
   
2. Norman Y. Foo, Thomas Meyer, Gerhard Brewka
   LPOD Answer Sets and Nash Equilibria. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2004, pp:343-351 [Conf]
   
3. Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer
   Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
   ECAI, 2006, pp:731-732 [Conf]
   
4. Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff
   TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, 1997, pp:855-858 [Conf]
   
5. Thomas Meyer, Burkhart Wolff
   Tactic-Based Optimized Compilation of Functional Programs. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:201-214 [Conf]
   
6. Samir Chopra, Aditya K. Ghose, Thomas Meyer
   Social choice theory, belief merging, and strategy-proofness. [Citation Graph (0, 0)][DBLP]
   Information Fusion, 2006, v:7, n:1, pp:61-79 [Journal]
   
7. Thomas Meyer
   On the semantics of combination operations. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2001, v:11, n:1-2, pp:59-84 [Journal]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   Journal of Computer-Aided Molecular Design, 2001, v:15, n:5, pp:489-495 [Journal]
   
9. Pascal Furet, Juerg Zimmermann, Hans-Georg Capraro, Thomas Meyer, Patricia Imbach
   Structure-based design of potent CDK1 inhibitors derived from olomoucine. [Citation Graph (0, 0)][DBLP]
   Journal of Computer-Aided Molecular Design, 2000, v:14, n:5, pp:403-409 [Journal]
   
10. Rikard Bøgvad, Thomas Meyer
    On algorithmically checking whether a Hilbert series comes from a complete intersection. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2004, v:38, n:6, pp:1487-1506 [Journal]
    
11. Richard Booth, Samir Chopra, Aditya Ghose, Thomas Meyer
    Belief Liberation (and Retraction). [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:79, n:1, pp:47-72 [Journal]
    
12. Thomas Meyer
    Basic Infobase Change. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:67, n:2, pp:215-242 [Journal]
    
13. Kevin Lee, Thomas Meyer, Jeff Pan, Richard Booth
    Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
    
14. Louise Leenen, Thomas Meyer, Aditya Ghose
    Relaxations of semiring constraint satisfaction problems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:103, n:5, pp:177-182 [Journal]
    
15. Richard Booth, Thomas Meyer
    Admissible and Restrained Revision. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:26, n:, pp:127-151 [Journal]
    
16. 
    Implementing Iterated Belief Change Via Prime Implicates. [Citation Graph (, )][DBLP]
    
    
17. 
    Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. [Citation Graph (, )][DBLP]
    
    
18. 
    Horn Belief Change: A Contraction Core. [Citation Graph (, )][DBLP]
    
    
19. 
    Biochemically-Inspired Emergent Computation. [Citation Graph (, )][DBLP]
    
    
20. 
    A Real-Time Low-Power Stereo Vision Engine Using Semi-Global Matching. [Citation Graph (, )][DBLP]
    
    
21. 
    Next Steps in Propositional Horn Contraction. [Citation Graph (, )][DBLP]
    
    
22. 
    Equilibria in Social Belief Removal. [Citation Graph (, )][DBLP]
    
    
23. 
    Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1. [Citation Graph (, )][DBLP]
    
    
24. 
    An Artificial Chemistry for Networking. [Citation Graph (, )][DBLP]
    
    
25. 
    A General Family of Preferential Belief Removal Operators. [Citation Graph (, )][DBLP]
    
    
26. 
    Introduction: Special Issue on Knowledge Representation and Ontology Research. [Citation Graph (, )][DBLP]