The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas Meyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002