|
6
|
Negation and Negative Information in the W3C Resource Description Framework
– Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damasio, Gerd Wagner
- 2004
|
|
9
|
Extended RDF as a Semantic Foundation of Rule Markup Languages
– Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
|
|
5
|
Evolution of Rule-Based Programs
– Ralf Lämmel
- 2004
|
|
4
|
SLT-Resolution for the Well-Founded Semantics
– Yi-Dong Shen, Li-yan Yuan, Jia-huai You
- 2002
|
|
8
|
Some (in)translatability results for normal logic programs and propositional theories
– Tomi Janhunen
- 2006
|
|
11
|
Foundations of rule-based query answering
– François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei
- 2007
|
|
|
public A Survey of Web Scale Reasoning Executive Summary
– Zhisheng Huang (coordinator, Barry Bishop(sti Innsbruck, Daniele Braga (cefirel, Florian Fischer (sti Innsbruck, Frank Van Harmelen (vua, Haiyan Zhou (wici, Jose Quesada (mpg, Jörg Rieskamp (mpg, Michael Witbrock (cyceuro, Ning Zhong (wici
- 2009
|
|
|
Ai Miei Genitori Ii
– Acknowledgements First Would, Cesare Stefanelli, Franco Zambonelli
|
|
|
A Survey of Web Scale Reasoning
– Zhisheng Huang , Barry Bishop , Daniele Braga , Florian Fischer (sti Innsbruck, Frank Van Harmelen , Peipeng Liang , Jose Quesada, Jörg Rieskamp , Michael Witbrock , Ning Zhong , et al.
- 2008
|
|
33
|
Logic programming revisited: logic programs as inductive definitions
– Marc Denecker, Maurice Bruynooghe, Victor Marek
- 2001
|
|
90
|
A Survey of Research on Deductive Database Systems
– Raghu Ramakrishnan, Jeffrey D. Ullman
- 1993
|
|
6
|
Role-Based Modeling Language (RBML) Specification V1.0
– Robert France, Dae-kyoo Kim, Eunjee Song
- 2002
|
|
3
|
Program Visualization Support for Highly Iterative Development Environments
– Michele Lanza
|
|
9
|
A Language for Specifying Java Transformations
– Fernando Castor, Paulo Borba, Centro De Informática
- 2001
|
|
|
STREAM: A First Programming Process
– Michael E. Caspersen
|
|
4
|
DeepCompare: Static Analysis for Runtime Software Evolution
– Yves Vandewoude, Yolande Berbers
- 2005
|
|
|
Unifying Software Engineering Methods and Tools: Principles and Patterns from Information Foraging
– Chris Scaffidi, Scott Fleming, David Piorkowski, Margaret Burnett, Rachel Bellamy, Joseph Lawrance
|
|
9
|
Bringing Extreme Programming to the Classroom
– Owen Astrachan, Robert C. Duvall, Eugene Wallingford
- 2001
|
|
1
|
Reframing Software Design: Perspectives on Advancing an Elusive Discipline
– Alex Baker, André Van Der Hoek
|