Home Advanced Search

Advanced Search - Page 1

Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Harold Boley (auth.), Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel (eds.)
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Francesca Rossi (auth.), Jóse Júlio Alferes, João Leite (eds.)
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
  • PDF
  • English
  • Year: 1999
  • Author: Norbert E. Fuchs, Uta Schwertel (auth.), Pierre Flener (eds.)
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
  • PDF
  • English
  • Year: 1999
  • Author: Norbert E. Fuchs, Uta Schwertel (auth.), Pierre Flener (eds.)
A Tight, Practical Integration of Relations and Functions
  • DJVU
  • English
  • Year: 1999
  • Author: Harold Boley (auth.)
A Tight, Practical Integration of Relations and Functions
  • PDF
  • English
  • Year: 1999
  • Author: Harold Boley (auth.)
Reasoning with Logic Programming
  • PDF
  • English
  • Year: 1996
  • Author: José Júlio Alferes, Luís Moniz Pereira (eds.)
Reasoning with Logic Programming
  • PDF
  • English
  • Year: 1996
  • Author: José Júlio Alferes, Luís Moniz Pereira (eds.)
Reasoning with Logic Programming
  • DJVU
  • English
  • Year: 1996
  • Author: José Júlio Alferes, Luís Moniz Pereira (eds.)
Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Mike Dean (auth.), Grigoris Antoniou, Harold Boley (eds.)
search