Ma
Yue Ma
Ma
Yue Ma
Yue
Yue Ma
Yue
Michael
Michael
Michael Kifer
Michael Kifer
Michael Kifer
Kifer
Kifer
Alan
Rector
Alan Rector
Alan Rector
Rector
Alan
Alan Rector
Thomas Eiter
Thomas
Thomas Eiter
Thomas Eiter
Eiter
Eiter
Thomas
Free University of Bozen-Bolzano (Italy)
Free University of Bozen-Bolzano (Italy)
Free University of Bozen-Bolzano (Italy)
FORTH-ICS
FORTH-ICS
FORTH-ICS
The Third International Conference on Web Reasoning and Rule Systems
Valentina Presutti
Valentina
Presutti
Martin
Martin
Rezk
Martin Rezk
Rezk
Martin Rezk
Martin Rezk
Aidan Hogan
Aidan
Aidan Hogan
Hogan
Aidan
Aidan Hogan
Hogan
PUC Chile
PUC Chile
PUC Chile
New Mexico State University
New Mexico State University
New Mexico State University
Furche
Tim
Tim Furche
Tim
Furche
Tim Furche
Tim Furche
Terrance Swift
Swift
Terrance
Terrance Swift
Terrance
Swift
Terrance Swift
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
Univ. of Mannheim
Univ. of Mannheim
Univ. of Mannheim
Universita di Roma La Sapienza (Italy)
Universita di Roma La Sapienza (Italy)
Universita di Roma La Sapienza (Italy)
Marcelo Arenas
Marcelo
Marcelo
Arenas
Arenas
Marcelo Arenas
Marcelo Arenas
Free University of Bozen - Bolzano
Free University of Bozen - Bolzano
Free University of Bozen - Bolzano
Dataset about rr2009-alignments.
Tue May 03 19:01:53 CEST 2016
Gergely Lukácsy
Gergely Lukácsy
Lukácsy
Lukácsy
Gergely
Gergely Lukácsy
Gergely
Holger
Holger Wache
Wache
Holger Wache
Wache
Holger
Holger Wache
Pascal
Hitzler
Pascal
Pascal Hitzler
Pascal Hitzler
Hitzler
Pascal Hitzler
Meilicke
Christian Meilicke
Christian
Christian Meilicke
Christian Meilicke
Christian
Meilicke
Hui
Wan
Hui Wan
Hui
Wan
Hui Wan
Hui Wan
Manolis Koubarakis
Manolis Koubarakis
Manolis
Koubarakis
Manolis
Manolis Koubarakis
Koubarakis
Peter
Peter
Peter Szeredi
Peter Szeredi
Szeredi
Szeredi
Peter Szeredi
Qi
Guilin
Guilin Qi
Guilin Qi
Guilin Qi
Guilin
Qi
SILK: Higher Level Rules with Defaults and Semantic Scalability
Calvanese
Diego Calvanese
Calvanese
Diego
Diego
Diego Calvanese
Diego Calvanese
Univ. of Calabria
Univ. of Calabria
Univ. of Calabria
Norbert Eisinger
Eisinger
Norbert
Norbert Eisinger
Norbert Eisinger
Eisinger
Norbert
Aldo Gangemi
Aldo
Gangemi
Distributed Resolution for Expressive Ontology Networks BEST PAPER AWARD
Distributed Resolution for Expressive Ontology Networks BEST PAPER AWARD
Distributed Resolution for Expressive Ontology Networks BEST PAPER AWARD
National and Kapodistrian Univ. of Athens
National and Kapodistrian Univ. of Athens
National and Kapodistrian Univ. of Athens
The Perfect Match: RPL and RDF Rule Languages
The Perfect Match: RPL and RDF Rule Languages
The Perfect Match: RPL and RDF Rule Languages
Universita degli Studi di Bari
Universita degli Studi di Bari
Universita degli Studi di Bari
David
Pearce
David
Pearce
David Pearce
David Pearce
David Pearce
University of Freiburg (Germany)
University of Freiburg (Germany)
University of Freiburg (Germany)
Jeroen Janssen
Janssen
Jeroen Janssen
Jeroen Janssen
Jeroen
Jeroen
Janssen
IPI PAN Warszawa
IPI PAN Warszawa
IPI PAN Warszawa
A Preferential Tableaux Calculus for Circumscriptive ALCO
A Preferential Tableaux Calculus for Circumscriptive ALCO
A Preferential Tableaux Calculus for Circumscriptive ALCO
A Logic Based Approach to the Static Analysis of Production Systems
A Logic Based Approach to the Static Analysis of Production Systems
A Logic Based Approach to the Static Analysis of Production Systems
Rudolph
Sebastian Rudolph
Rudolph
Sebastian Rudolph
Sebastian Rudolph
Sebastian
Sebastian
University of Oxford
University of Oxford
University of Oxford
Univ. of Naples Frederico II
Univ. of Naples Frederico II
Univ. of Naples Frederico II
Axel Polleres
Axel Polleres
Polleres
Axel
Axel
Axel Polleres
Polleres
University of Munich (Germany)
University of Munich (Germany)
University of Munich (Germany)
Wright State University, Dayton OH (U.S.A.)
Wright State University, Dayton OH (U.S.A.)
Wright State University, Dayton OH (U.S.A.)
DFKI GmbH
DFKI GmbH
DFKI GmbH
Univ. Goettingen
Univ. Goettingen
Univ. Goettingen
Anastasia
Analyti
Anastasia Analyti
Anastasia Analyti
Analyti
Anastasia Analyti
Anastasia
Thomas Lukasiewicz
Thomas Lukasiewicz
Thomas
Thomas Lukasiewicz
Lukasiewicz
Thomas
Lukasiewicz
Heymans
Stijn Heymans
Stijn Heymans
Heymans
Stijn
Stijn Heymans
Stijn
Francois
François Bry
Francois Bry
Bry
François Bry
Bry
François
François Bry
Francois
Francois Bry
François
Francois Bry
Concordia University
Concordia University
Concordia University
Lembo
Lembo
Domenico
Domenico Lembo
Domenico Lembo
Domenico
Domenico Lembo
Jos de Bruijn
Jos de Bruijn
de Bruijn
Jos
Jos
de Bruijn
Jos de Bruijn
Carlos
Carlos Viegas Damasio
Carlos Viegas Damasio
Carlos Viegas Damasio
Carlos
Viegas Damasio
Viegas Damasio
Schockaert
Steven Schockaert
Steven Schockaert
Schockaert
Steven
Steven
Steven Schockaert
Hans
Hans Tompits
Tompits
Hans Tompits
Hans Tompits
Hans
Tompits
Haarslev
Volker
Volker Haarslev
Volker Haarslev
Haarslev
Volker Haarslev
Volker
May
Wolfgang May
Wolfgang
Wolfgang May
May
Wolfgang May
Wolfgang
Matt
Matt Mouley Bouamrane
Mouley Bouamrane
Mouley Bouamrane
Matt Mouley Bouamrane
Matt
Matt Mouley Bouamrane
Riccardo Rosati
Riccardo Rosati
Riccardo Rosati
Riccardo
Riccardo
Rosati
Rosati
Budapest Univ of Tech. and Econ.
Budapest Univ of Tech. and Econ.
Budapest Univ of Tech. and Econ.
DERI
DERI
DERI
National Tech. University of Athens
National Tech. University of Athens
National Tech. University of Athens
Grigoris Antoniou
Grigoris
Grigoris Antoniou
Grigoris Antoniou
Grigoris
Antoniou
Antoniou
Jeff Z.
Jeff Z. Pan
Jeff Z. Pan
Pan
Jeff Z. Pan
Jeff Z.
Pan
Universidad Politecnica de Madrid
Universidad Politecnica de Madrid
Universidad Politecnica de Madrid
Schlicht
Anne
Anne Schlicht
Anne
Schlicht
Anne Schlicht
Anne Schlicht
Paraconsistent reasoning for OWL 2
Paraconsistent reasoning for OWL 2
Paraconsistent reasoning for OWL 2
Martine De Cock
Martine De Cock
Martine De Cock
De Cock
Martine
Martine
De Cock
Linse
Benedikt Linse
Benedikt
Benedikt
Linse
Benedikt Linse
Benedikt Linse
An Efficient Method for Computing Alignment Diagnoses
An Efficient Method for Computing Alignment Diagnoses
An Efficient Method for Computing Alignment Diagnoses
Leopoldo Bertossi
Leopoldo Bertossi
Leopoldo
Leopoldo Bertossi
Leopoldo
Bertossi
Bertossi
Wlodek Drabent
Wlodek Drabent
Wlodek
Wlodek Drabent
Drabent
Wlodek
Drabent
A Formal Theory for Modular ERDF Ontologies
A Formal Theory for Modular ERDF Ontologies
A Formal Theory for Modular ERDF Ontologies
Anna Lisa Gentile
Anna Lisa
Gentile
University of Aberdeen (United Kingdom)
University of Aberdeen (United Kingdom)
University of Aberdeen (United Kingdom)
Cristina Feier
Cristina
Cristina Feier
Cristina
Feier
Feier
Cristina Feier
Sergio Tessaris
Tessaris
Sergio
Sergio Tessaris
Tessaris
Sergio Tessaris
Sergio
Andrea Giovanni Nuzzolese
Andrea Giovanni
Nuzzolese
Answer Sets in a Fuzzy Equilibrium Logic
Answer Sets in a Fuzzy Equilibrium Logic
Answer Sets in a Fuzzy Equilibrium Logic
Vrije Universiteit Brussel
Vrije Universiteit Brussel
Vrije Universiteit Brussel
Carlos Damasio
Damasio
Damasio
Carlos
Carlos Damasio
Carlos Damasio
Carlos
Alessandra Lisi
Francesca Alessandra Lisi
Francesca
Francesca
Francesca Alessandra Lisi
Francesca Alessandra Lisi
Alessandra Lisi
Decker
Stefan
Stefan Decker
Stefan Decker
Stefan
Decker
Stefan Decker
A Reasoner for Simple Conceptual Logic Programs
A Reasoner for Simple Conceptual Logic Programs
A Reasoner for Simple Conceptual Logic Programs
On the ostensibly silent 'W' in OWL 2 RL
On the ostensibly silent 'W' in OWL 2 RL
On the ostensibly silent 'W' in OWL 2 RL
Computing Lab. Univ. of Oxford
Computing Lab. Univ. of Oxford
Computing Laboratory, University of Oxford, UK
Computing Laboratory, University of Oxford, UK
Computing Laboratory, University of Oxford, UK
Computing Lab. Univ. of Oxford
Michael Sintek
Michael Sintek
Michael
Sintek
Sintek
Michael
Michael Sintek
Univ. of Grenoble
Univ. of Grenoble
Univ. of Grenoble
Ianni
Giovambattista Ianni
Ianni
Giovambattista
Giovambattista Ianni
Giovambattista Ianni
Giovambattista
A Hybrid Architecture for a Preoperative Decision Support System using a Rule Engine and a Reasoner on a Clinical Ontology
A Hybrid Architecture for a Preoperative Decision Support System using a Rule Engine and a Reasoner on a Clinical Ontology
A Hybrid Architecture for a Preoperative Decision Support System using a Rule Engine and a Reasoner on a Clinical Ontology
Cuenca Grau
Bernardo
Cuenca Grau
Bernardo Cuenca Grau
Bernardo Cuenca Grau
Bernardo
Bernardo Cuenca Grau
York Sure
York Sure
York Sure
York
Sure
York
Sure
Pontelli
Pontelli
Enrico Pontelli
Enrico
Enrico Pontelli
Enrico Pontelli
Enrico
Scalable Web Reasoning using Logic Programming Techniques
Scalable Web Reasoning using Logic Programming Techniques
Scalable Web Reasoning using Logic Programming Techniques
Martin Hurrell
Martin
Hurrell
Martin Hurrell
Martin
Hurrell
Martin Hurrell
A Minimal Deductive System for General Fuzzy RDF
A Minimal Deductive System for General Fuzzy RDF
A Minimal Deductive System for General Fuzzy RDF
Universidade Nova de Lisboa
Universidade Nova de Lisboa
Universidade Nova de Lisboa
Schaffert
Sebastian
Sebastian Schaffert
Sebastian
Sebastian Schaffert
Sebastian Schaffert
Schaffert
Giorgos Stamou
Stamou
Giorgos Stamou
Stamou
Giorgos
Giorgos
Giorgos Stamou
Brodt
Brodt
Simon Brodt
Simon
Simon
Simon Brodt
Simon Brodt
Search for More Declarativity - Backward Reasoning for Rule Languages Reconsidered
Search for More Declarativity - Backward Reasoning for Rule Languages Reconsidered
Search for More Declarativity - Backward Reasoning for Rule Languages Reconsidered
Stony Brook University, New York (U.S.A.)
Stony Brook University, New York (U.S.A.)
Stony Brook University, New York (U.S.A.)
Carleton University
Carleton University
Carleton University
Univ. of Karlsruhe
Technische Universitat Wien (Austria)
Vienna Univ. of Technology
Univ. of Karlsruhe
Technische Universitat Wien (Austria)
Technische Universitat Wien (Austria)
Univ. of Karlsruhe
Vienna Univ. of Technology
Vienna Univ. of Technology
Heiner
Heiner Stuckenschmidt
Stuckenschmidt
Heiner
Stuckenschmidt
Heiner Stuckenschmidt
Heiner Stuckenschmidt
Stephan
Stephan Grimm
Stephan
Grimm
Stephan Grimm
Grimm
Stephan Grimm
Department of Computing, Imperial College London, UK
Department of Computing, Imperial College London, UK
Department of Computing, Imperial College London, UK
Georg
Lausen
Georg
Georg Lausen
Georg Lausen
Georg Lausen
Lausen
Dirk Vermeir
Dirk
Dirk Vermeir
Vermeir
Dirk Vermeir
Vermeir
Dirk
University of Applied Sciences Northwestern Switzerland (Switzerland)
University of Applied Sciences Northwestern Switzerland (Switzerland)
University of Applied Sciences Northwestern Switzerland (Switzerland)
Vulcan Inc.
Vulcan Inc.
Vulcan Inc.
Belief Logic Programming with Cyclic Dependencies
Belief Logic Programming with Cyclic Dependencies
Belief Logic Programming with Cyclic Dependencies
DIS, Univ. di Roma ``La Sapienza''
DIS, Univ. di Roma ``La Sapienza''
DIS, Univ. di Roma ``La Sapienza''
Straccia
Umberto Straccia
Umberto Straccia
Umberto
Umberto Straccia
Straccia
Umberto
Salzburg Research Forschungsgesellschaf
Salzburg Research Forschungsgesellschaf
Salzburg Research Forschungsgesellschaf
Rousset
Marie-Christine
Marie-Christine Rousset
Marie-Christine Rousset
Marie-Christine
Marie-Christine Rousset
Rousset
Uncertainty Reasoning for the Semantic Web
Bonatti
Piero
Piero Bonatti
Bonatti
Piero Bonatti
Piero Bonatti
Piero
Institute AIFB, University of Karlsruhe
AIFB - Universitaet Karlsruhe
Institute AIFB, University of Karlsruhe
AIFB - Universitaet Karlsruhe
AIFB - Universitaet Karlsruhe
Institute AIFB, University of Karlsruhe