EPCL Main Page

Publications by EPCL Doctoral Candidates

This page only lists publications created in the context of the EPCL study.

Representative Encodings to Translate Finite CSPs into SAT
Pedro Barahona, Steffen Hölldobler, and Van-Hau Nguyen
In 11th International International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CP) - CPAIOR 2014, Cork, Ireland, May 19-23, 2014, 2014.
to appear.
bib ]

Efficient SAT-Encoding of Linear CSP Constraints
Pedro Barahona, Steffen Hölldobler, and Van-Hau Nguyen
In 13rd International Symposium on Artificial Intelligence and Mathematics - ISAIM, Fort Lauderdale, Florida, USA, January 6-8, 2014, 2014.
to appear.
bib | .pdf ]

Modeling the Suppression Task under Weak Completion and Well-Founded Semantics
Emmanuelle-Anna Dietz, Steffen Hölldobler, and Christoph Wernhard
Journal of Applied Non-Classical Logics, 2014.
accepted for publication.
bib ]

Extending social abstract argumentation with votes on attacks
Sinan Egilmez, Joao Martins, and Joao Leite
In 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13), volume 8306 of LNCS, pages 16-31. Springer, 2014.
bib | http ]

The Parameterized Complexity of Reasoning Problems Beyond NP
Ronald de Haan and Stefan Szeider
In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, 2014.
to appear.
bib | .pdf ]

Getting Unique Solution in Data Exchange
Nhung Ngo and Enrico Franconi
Proceedings of the VLDB Endowment, 6(12):1440-1443, August 2013.
bib | .pdf ]

Verification of Semantically-Enhanced Artifact Systems
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, and Dmitry Solomakhin
In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC 2013), volume 8272 of LNCS, pages 600-607. Springer, 2013.
bib | .pdf ]

Translating the At-Most-One Constraint into SAT
Pedro Barahona, Steffen Hölldobler, and Van Hau Nguyen
In The 19th International Conference on Principles and Practice of Constraint Programming (CP 2013), Doctoral Program, pages 85-90, Uppsala, Sweden, 2013. Uppsala University.
bib | .pdf ]

Verification of Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov
In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 2013.
bib | .pdf ]

Verification of Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov
In Proceedings of the 26th International Workshop on Description Logics (DL 2013), volume 1014 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, pages 107-119, 2013.
bib | .pdf ]

On Failure-Driven Constraint-Based Parsing through CHRG
Veronica Dahl, Sinan Egilmez, Joao Martins, and Emilio Miralles
In Tenth International Workshop on Constraint Handling Rules (CHR '13), number CW 641 in Technical report, pages 13-24, Leuven, 2013. K.U.Leuven, Department of Computer Science.
bib | .pdf ]

A Computational Logic Approach to the Abstract and the Social Case of the Selection Task
Emmanuelle-Anna Dietz, Steffen Hölldobler, and Marco Ragni
In Proceedings of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning, COMMONSENSE 2013, 2013.
bib | .pdf ]

Exact Query Reformulation over Databases with First-order and Description Logics Ontologies
Enrico Franconi, Volha Kerhet, and Nhung Ngo
Journal of Artificial Intelligence Research, 48:885-922, 2013.
bib | .pdf ]

Local Backbones
Ronald de Haan, Iyad A. Kanj, and Stefan Szeider
In Matti Järvisalo and Allen Van Gelder, editors, Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT '13), volume 7962 of LNCS, pages 377-393. Springer, 2013.
bib | http ]

Parameterized Complexity Results for Plan Reuse
Ronald de Haan, Anna Roubícková, and Stefan Szeider
In Marie desJardins and Michael L. Littman, editors, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI '13). AAAI Press, 2013.
bib | http ]

On SAT-Encodings of the At-Most-One Constraint
Steffen Hölldobler and Van Hau Nguyen
In George Katsirelos and Claude-Guy Quimper, editors, Proceedings of the Twelfth International Workshop on Constraint Modelling and Reformulation, pages 1-17. Uppsala University, Sweden, September 16-20, 2013.
bib | .pdf ]

Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT
Van Hau Nguyen, Miroslav N. Velev, and Pedro Barahona
In Proceedings of the IEEE-ICTAI2013, Special Track on SAT and CSP, Washington DC, USA, November, 2013, 2013.
bib | http ]

Predicting gene function using similarity learning
Tu Minh Phuong and Ngo Phuong Nhung
BMC Genomics, 14(Suppl 4), 2013.
bib | http ]

Debugging Programs Using Formal Concept Analysis
A. Revenko
In International Workshop: Formal Concept Analysis meets Information Retrieval, FCAIR 2013, pages 105-112. CEUR, 2013.
bib | http ]

Debugging Program Code Using Implicative Dependencies
A. Revenko
In International Workshop: What can FCA do for Artificial Intelligence?, FCA4AI 2013, pages 27-39. CEUR, 2013.
bib | .pdf ]

Detecting mistakes in binary data tables
A. Revenko
Automatic Documentation and Mathematical Linguistics, 47(3):102-110, 2013.
bib | DOI | http ]

Semantically-Governed Data-Aware Processes
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, and Ario Santoso
In Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes (KiBP 2012), volume 861, pages 21-32. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2012.
bib | .pdf | Abstract ]

Ontology-Based Governance of Data-Aware Processes
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, and Ario Santoso
In Markus Krötzsch and Umberto Straccia, editors, Web Reasoning and Rule Systems (RR 2012), volume 7497 of LNCS, pages 25-41. Springer, 2012.
bib | .pdf | Abstract ]

Best Service Synthesis in the Weighted Roman Model
Diego Calvanese and Ario Santoso
In Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012), volume 847, pages 42-49. CEUR Electronic Workshop Proceedings, http://ceur-ws.org, 2012.
bib | .pdf | Abstract ]

When Data, Knowledge and Processes Meet Together
Ario Santoso
In Markus Krötzsch and Umberto Straccia, editors, Web Reasoning and Rule Systems (RR 2012), volume 7497 of LNCS, pages 291-296. Springer, 2012.
bib | http | Abstract ]

A Computational Logic Approach to the Suppression Task
Emmanuelle-Anna Dietz, Steffen Hölldobler, and Marco Ragni
In N. Miyake, D. Peebles, and R. P. Cooper, editors, Proceedings of the 34th Annual Conference of the Cognitive Science Society, pages 1500-1505. Cognitive Science Society, 2012.
bib | .pdf ]

A Simple Model for the Wason Selection Task
Emmanuelle-Anna Dietz, Steffen Hölldobler, and Marco Ragni
In T. Barkowsky, M. Ragni, and F. Stolzenburg, editors, Human Reasoning and Automated Deduction: KI 2012 workshop proceedings, 2012.
bib | .pdf ]

Modeling the Suppression Task under Three-valued Lukasiewicz and Well-founded Semantics
Emmanuelle-Anna Dietz and Steffen Hölldobler
In P. Egré and R. Ripley, editors, Proceedings of the ESSLLI 2012 Workshop on Trivalent Logics and their Applications, pages 27-36, 2012.
bib | .pdf ]

Exact query reformulation with first-order ontologies and databases
Enrico Franconi, Volha Kerhet, and Nhung Ngo
In Proceedings of the 13th European conference on Logics in Artificial Intelligence (JELIA'12), pages 202-214. Springer, 2012.
bib | DOI | http ]

Enrico Franconi, Volha Kerhet, and Nhung Ngo.
Exact Query Reformulation over SHOQ DBoxes.
In International Workshop on Description Logics (DL 2012). CEUR Electronic Workshop Proceedings, http://ceur-ws.org, 2012.
bib | .pdf ]

The definability abduction problem for data exchange
Enrico Franconi, Nhung Ngo, and Evgeny Sherkhonov
In Web Reasoning and Rule Systems (RR 2012), pages 217-220. Springer, 2012.
bib | DOI | http ]

The RegularGCC Matrix Constraint
Ronald de Haan, Nina Narodytska, and Toby Walsh
In Dongmo Zhang and Michael Thielscher, editors, Australasian Conference on Artificial Intelligence, volume 7691 of LNCS, pages 206-217, Sydney, Australia, 2012. Springer.
bib | http ]

Detecting Temporally Related Arithmetical Patterns: an Extension of Complex Event Processing
Ronald de Haan and Mikhail Roshchin
In Joaquim Filipe and Ana L. N. Fred, editors, Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Barcelona, Spain, 2012. SciTePress.
bib | http ]

Reasoning on Procedural Programs using Description Logics with Concrete Domains
Ronald de Haan
In R.K. Rendsvig and S. Katenko, editors, Proceedings of the ESSLLI 2012 Student Session, Opole, Poland, August 6-17, 2012, pages 32-42, 2012.
bib | .pdf ]

Solving Hidokus using SAT Solvers
Steffen Hölldobler, N. Manthey, V.H. Nguyen, and P. Steinke
In Proceedings of the INFOCOM-5, pages 208-212, 2012.
bib | http ]

An Efficient Encoding of the At-Most-One Constraint
Steffen Hölldobler and Van Hau Nguyen
Technical report, Knowledge Representation and Reasoning Group, Technische Universität Dresden, 01062 Dresden, Germany, 2012.
bib | http ]

Using similarity learning to improve network-based gene function prediction
Ngo Phuong Nhung and Tu Minti Phuong
In IEEE International Conference on Bioinformatics and Biomedicine, pages 1-6, Los Alamitos, CA, USA, 2012. IEEE Computer Society.
bib | DOI | .html ]

Attribute Exploration of Properties of Functions on Sets
Artem Revenko and Sergei O. Kuznetsov
Fundamenta Informaticae, 115(4):377-394, 2012.
bib | http ]

Finding Errors in New Object in Formal Contexts
A. Revenko and S. O. Kuznetsov
In International Workshop: What can FCA do for Artificial Intelligence?, pages 65-72, 2012.
bib | .pdf ]

Finding Errors in New Object Intents
Artem Revenko and Sergei O. Kuznetsov
In International Conference on Concept Lattices and Applications (CLA 2012), pages 151-162, 2012.
bib | .pdf ]

Introducing Datatypes in DL-Lite
Ognjen Savkovic and Diego Calvanese
In Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, and Peter J. F. Lucas, editors, European Conference on Artificial Intelligence (ECAI 2012), volume 242 of Frontiers in Artificial Intelligence and Applications, pages 720-725. IOS Press, 2012.
bib | http | Abstract ]

MAGIK: managing completeness of data
Ognjen Savkovic, Mirza Paramita, Sergey Paramonov, and Werner Nutt
In ACM International Conference on Information and Knowledge Management (CIKM2012), pages 2725-2727, 2012.
bib | http ]