Artificial Intelligence in Theory and Practice II: IFIP 20th World...
books.google.co.uk
Zsolt Zombori Abstract Description Logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient ...
Logic Programming: 24th International Conference, ICLP Udine,...
books.google.co.uk
We are also grateful to Tamás Benk ̋o and the anonymous reviewers for their comments on earlier ver- sions of the paper. Thanks are due to Zsolt Zombori for ...
The Semantic Web: Research and Applications: 7th European Semantic...
books.google.co.uk
Two. Phase. Description. Logic. Reasoning. for. Efficient. Information. Retrieval. Zsolt Zombori Budapest University of Technology and Economics, Hungary ...
CiteSeerX — A Resolution Based Description Logic Calculus
citeseerx.ist.psu.edu
BibTeX. @MISC{Zombori_aresolution, author = {Zsolt Zombori and Gergely Lukácsy}, title = {A Resolution Based Description Logic Calculus}, year = {} } ...
Efficient Description Logic Reasoning in Prolog: The DLog ...
logic.cse.unt.edu
Zsolt Zombori, a member of our research group, has extended the saturation technique of (Motik 2006) so that the function symbols are eliminated from the.
CEUR-WS.org/Vol Workshop on Description Logics 2008
ftp.informatik.rwth-aachen.de
Rafael Peñaloza and Baris Sertkaya. Building Ontologies Collaboratively Using ContentCVS ... Rafael Peñaloza. Reintroducing CEL as an OWL 2 EL Reasoner ...
Zsolt Zombori - dblpdblp.org › Persons
dblp.org
persistent URL: https://dblp.org/rec/conf/iclp/Zombori11. Zsolt Zombori: Two Phase Description Logic Reasoning for Efficient Information ...
Efficient Two-Phase Data Reasoning for Description Logics |...
link.springer.com
Description Logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient automated DL reasoning. However,...
Efficient Two-Phase Data Reasoning for Description Logics ...link.springer.com › chapter
link.springer.com
Zsolt Zombori. Zsolt Zombori Department of Computer Science and Information TheoryBudapest University of Technology and EconomicsHungary.
Two Phase Description Logic Reasoning for Efficient Information...
link.springer.com
Two Phase Description Logic Reasoning for Efficient Information Retrieval. Authors; Authors and affiliations. Zsolt Zombori. Zsolt Zombori Budapest University of Technology and EconomicsHungary. Conference paper. 1 Readers · 643 Downloads. Part of the Lecture Notes in Computer Science book series (LNCS, ...
All web results to the name "Zsolt Zombori"
(PDF) A Resolution Based Description Logic Calculus | Zsolt Zombori...
www.academia.edu
We present a resolution based reasoning algorithm called DL calculus that decides concept satisfiability for the SHIQ language. Unlike existing resolution...
A resolution based description logic calculus | Acta Cyberneticacyber.bibl.u-szeged.hu › actcybern › article › view
cyber.bibl.u-szeged.hu
Zsolt Zombori, Péter Szeredi, Loop elimination, a sound optimisation technique for PTTP related theorem proving , Acta Cybernetica: Vol 20 No ...
DL Workshop Proceedings
www.cs.ox.ac.uk
A Matter of Principles: Towards the Largest DLP Possible; Zsolt Zombori and Gergely Lukácsy. A Resolution Based Description Logic Calculus; Krzysztof ...
ICLP 2012: 28th International Conference on Logic UPVpersonales.upv.es › gvidal › iclp12 › accepted
personales.upv.es
... Roland Kaminski, Torsten Schaub and Marius Schneider. aspeed: ASP-based Solver Scheduling; Zsolt Zombori, János Csorba and Péter Szeredi. Static Type ...
ICLP 2011: Accepted papers – Association for Logic Programming
www.cs.nmsu.edu
Accepted full papers Martin Gebser, Roland Kaminski and Torsten ... Zsolt Zombori, Peter Szeredi and Janos Csorba. Static Type Checking for the Q Functional Language in Prolog ...
Related search requests for Zsolt Zombori
Janos Csorba Josef Urban Peter Szeredi | Roland Kaminski Cezary Kaliszyk Zsolt Juan Zombori |
People Forename "Zsolt" (1763) Name "Zombori" (43) |
sorted by relevance / date