emcl_student_publications.bib
@inproceedings{DL-2011-explanation,
title = {The Complexity of Conjunctive Query Abduction in DL-Lite},
year = {2011},
author = {Diego Calvanese and Magdalena Ortiz and Mantas Simkus and
Giorgio Stefanoni},
booktitle = {Proc. of the 24th Int. Workshop on Description Logics
(DL 2011)},
volume = {745},
series = {CEUR Electronic Workshop Proceedings,http://ceur-ws.org/}
}
@inproceedings{Diaz:2010:IMN:1863509.1863520,
author = {Fern\'{a}ndez D\'{\i}az, \'{A}lvaro and Benac Earle, Clara
and Fredlund, Lars-\AAke},
title = {Implementing a multiagent negotiation protocol in Erlang},
booktitle = {Proceedings of the 9th ACM SIGPLAN workshop on Erlang},
series = {Erlang '10},
year = {2010},
isbn = {978-1-4503-0253-1},
location = {Baltimore, Maryland, USA},
pages = {69--74},
numpages = {6},
url = {http://doi.acm.org/10.1145/1863509.1863520},
doi = {http://doi.acm.org/10.1145/1863509.1863520},
acmid = {1863520},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {erlang, multiagent, task allocation}
}
@inproceedings{franconi10b,
author = {Enrico Franconi and Thomas Meyer and Ivan Varzinczak},
title = {Semantic Diff as the Basis for Knowledge Base Versioning},
booktitle = {Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR’10), Toronto, Canada, 2010},
year = {2010}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseCO11,
author = {Diego Calvanese and
Domenico Carbotta and
Magdalena Ortiz},
title = {A Practical Automata-Based Technique for Reasoning in Expressive
Description Logics},
booktitle = {IJCAI},
year = {2011},
pages = {798-804},
ee = {http://ijcai.org/papers11/Papers/IJCAI11-140.pdf},
crossref = {DBLP:conf/ijcai/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ijcai/2011,
editor = {Toby Walsh},
title = {IJCAI 2011, Proceedings of the 22nd International Joint
Conference on Artificial Intelligence, Barcelona, Catalonia,
Spain, July 16-22, 2011},
booktitle = {IJCAI},
publisher = {IJCAI/AAAI},
year = {2011},
isbn = {978-1-57735-516-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sac/CalvaneseKNRS10,
author = {Diego Calvanese and
C. Maria Keet and
Werner Nutt and
Mariano Rodriguez-Muro and
Giorgio Stefanoni},
title = {Web-based graphical querying of databases through an ontology:
the Wonder system},
booktitle = {SAC},
year = {2010},
pages = {1388-1395},
ee = {http://doi.acm.org/10.1145/1774088.1774384},
crossref = {DBLP:conf/sac/2010},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sac/2010,
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih-Cheng Hung},
title = {Proceedings of the 2010 ACM Symposium on Applied Computing
(SAC), Sierre, Switzerland, March 22-26, 2010},
booktitle = {SAC},
publisher = {ACM},
year = {2010},
isbn = {978-1-60558-639-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/dlog/CalvaneseOSS11,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
title = {The Complexity of Conjunctive Query Abduction in DL-Lite},
booktitle = {Description Logics},
year = {2011},
ee = {http://ceur-ws.org/Vol-745/paper_49.pdf},
crossref = {DBLP:conf/dlog/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dlog/2011,
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Proceedings of the 24th International Workshop on Description
Logics (DL 2011), Barcelona, Spain, July 13-16, 2011},
booktitle = {Description Logics},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {745},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{franconi10a,
author = {E. Franconi and A. Mosca and A. Siena and D. Solomakhin},
title = {On the logical foundations of business rules},
booktitle = {In Proceedings of the First Workshop on Law Compliancy Issues in Organisational Systems and Strategies},
year = {2011},
fi = {July 6th, 2010, Fiesole (Firenze), Italy, co-located with the 10th International Conference on Deontic Logic in Computer Science 7-9 July 2010.}
}
@inproceedings{solomakhin11a,
author = {D. Solomakhin and A. Mosca and E. Franconi},
title = {Logic-based reasoning support for SBVR},
booktitle = {In Proceedings of the 26mo Convegno Italiano di Logica Computazionale (CILC 2011)},
year = {2011}
}
@inproceedings{santoso2010,
author = {L. Yohanes Stefanus and Ario Santoso},
title = {A Prolog-based Proof Tool for Type Theory TA-lampda and Implicational Intuitionistic-Logic},
booktitle = {Proceedings of the 8th International Workshop on the Implementation of Logics},
pages = {34-41},
year = {2010}
}
@article{DBLP:journals/aicom/DrescherTW11,
author = {Christian Drescher and
Oana Tifrea and
Toby Walsh},
title = {Symmetry-breaking answer set solving},
journal = {AI Commun.},
volume = {24},
number = {2},
year = {2011},
pages = {177-194},
ee = {http://dx.doi.org/10.3233/AIC-2011-0495},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/lpnmr/DrescherEFKW11,
author = {Christian Drescher and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Toby Walsh},
title = {Symmetry Breaking for Distributed Multi-Context Systems},
booktitle = {LPNMR},
year = {2011},
pages = {26-39},
ee = {http://dx.doi.org/10.1007/978-3-642-20895-9_5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Solomakhin-et-al2010,
author = {Dmitry Solomakhin and Alessandro Mosca and Enrico Franconi and Alberto Siena},
title = {On the logical foundations of business rules},
booktitle = {Proceedings of 1st Workshop on Law Compliancy Issues in Organisational Systems and Strategies},
year = {2010}
}
@inproceedings{drtiwa11a,
author = {C. Drescher and
O. Tifrea and
T. Walsh},
title = {Symmetry Breaking for Distributed Multi-Context Systems},
year = {2011}
}
@inproceedings{dreifikrwa11a,
author = {C. Drescher and
T. Eiter and
M. Fink and
T. Krennwallner and
T. Walsh},
title = {Symmetry-Breaking Answer Set Solving},
year = {2011}
}
@article{DBLP:journals/corr/abs-1008-1809,
author = {Christian Drescher and
Oana Tifrea and
Toby Walsh},
title = {Symmetry-breaking Answer Set Solving},
journal = {CoRR},
volume = {abs/1008.1809},
year = {2010},
ee = {http://arxiv.org/abs/1008.1809},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/aiia/BernardiBCCT07,
author = {Raffaella Bernardi and
Francesca Bonin and
Diego Calvanese and
Domenico Carbotta and
Camilo Thorne},
title = {English Querying over Ontologies: E-QuOnto},
booktitle = {AI*IA},
year = {2007},
pages = {170-181},
ee = {http://dx.doi.org/10.1007/978-3-540-74782-6_16},
crossref = {DBLP:conf/aiia/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sebd/CaliMC07,
author = {Andrea Cal\`{\i} and
Davide Martinenghi and
Domenico Carbotta},
title = {Query Optimisation for Web Data Sources: Minimisation of
the Number of Accesses},
booktitle = {SEBD},
year = {2007},
pages = {316-323},
crossref = {DBLP:conf/sebd/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:FarooqueM09,
author = {Mahfuza Farooque and
Susana Mu{\~n}oz-Hern{\'a}ndez},
title = {Easy Fuzzy Tool for Emotion Recognition - Prototype from
Voice Speech Analysis},
year = {2009},
pages = {85-88},
editor = {Ant{\'o}nio Dourado and
Agostinho C. Rosa and
Kurosh Madani},
booktitle = {IJCCI 2009 - Proceedings of the International Joint Conference
on Computational Intelligence, Funchal, Madeira, Portugal,
October 5-7, 2009},
publisher = {INSTICC Press},
isbn = {978-989-674-014-6}
}
@inproceedings{buezas10a,
author = {David Buezas},
title = {Minimizing enzymes to diferenciate between species},
booktitle = {Workshop on Constraint Based Methods for Bioinformatics},
address = {Edinburgh},
year = {2010}
}
@article{drwa10a,
author = {Christian Drescher and Toby Walsh},
title = {A translational approach to constraint answer set
solving},
journal = {Theory and Practice of Logic Programming},
volume = 10,
number = {4-6},
year = 2010,
pages = {465-480},
note = {ICLP-10 Best Student Paper}
}
@inproceedings{drescher10a,
author = {Christian Drescher},
title = {Constraint Answer Set Programming Systems},
booktitle = {Technical Communications of the 26th International
Conference on Logic Programming},
pages = {255-264},
series = {Leibniz International Proceedings in Informatics
({LIPIcs})},
year = 2010,
volume = 7,
editor = {Manuel Hermenegildo and Torsten Schaub},
publisher = {{Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik}},
address = {{Dagstuhl, Germany}}
}
@inproceedings{drwa10b,
author = {Christian Drescher and Toby Walsh},
title = {Reformulation of Global Constraints into Answer Set
Programming},
booktitle = {Proceedings of AAAI'10 Workshop on Abstraction,
Reformulation, and Approximation},
series = {AAAI Technical Report},
publisher = {AAAI Press},
volume = {WS-10-08},
year = 2010,
pages = {14-19}
}
@inproceedings{DBLP:conf/icsoc/MouraCD07,
author = {Jo{\~a}o Moura and
Paulo Chainho and
Carlos Viegas Dam{\'a}sio},
title = {Semantically Enabled Framework for User Centric Profile
Description, Search and Match},
booktitle = {Service-Oriented Computing - ICSOC 2007 Workshops, International
Workshops, Vienna, Austria, September 17, 2007, Revised
Selected Papers},
year = {2007},
pages = {326-335},
editor = {Elisabetta Di Nitto and
Matei Ripeanu},
publisher = {Springer},
series = {LNCS},
volume = {4907},
isbn = {978-3-540-93850-7}
}
@inproceedings{DBLP:conf/iclp/AnhRD08,
author = {Han The Anh and
Carroline D. P. Kencana Ramli and
Carlos Viegas Dam{\'a}sio},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {An Implementation of Extended P-Log Using XASP},
booktitle = {Logic Programming, 24th International Conference, ICLP 2008,
Udine, Italy, December 9-13 2008, Proceedings},
publisher = {Springer},
series = {LNCS},
volume = {5366},
year = {2008},
isbn = {978-3-540-89981-5},
pages = {739-743}
}
@inproceedings{DBLP:conf/scw/AlferesT06,
author = {Jos{\'e} J{\'u}lio Alferes and
Gaston E. Tagni},
title = {Implementation of a Complex Event Engine for the Web},
booktitle = {Proceedings of the 2006 IEEE Services Computing Workshops
(SCW 2006), 18-22 September 2006, Chicago, Illinois, USA},
year = {2006},
pages = {65-72},
publisher = {IEEE Computer Society},
isbn = {0-7695-2681-0}
}
@inproceedings{zhel-calv-khar-nutt-DL-2010,
author = {Dmitriy Zheleznyakov and Diego Calvanese and Evgeny Kharlamov
and Werner Nutt},
title = {Updating {TBoxes} in \textit{DL-Lite}},
booktitle = {Proc.\ of the 23nd Int.\ Workshop on Description Logic (DL~2010)},
year = 2010
}
@inproceedings{jung:dnnf,
author = {Jean Christoph Jung and Pedro Barahona and George Katsirelos
and Toby Walsh},
title = {Two encodings of DNNF theories},
booktitle = {ECAI'08 Workshop on Inference
methods based on Graphical Structures of Knowledge},
url = {http://www.cse.unsw.edu.au/~tw/jbkwecai08.pdf},
year = {2008}
}
@inproceedings{SAC-2010,
title = {Web-based Graphical Querying of Databases through an Ontology:
the \textsc{Wonder} System},
year = {2010},
author = {Diego Calvanese and C. Maria Keet and Werner Nutt and Mariano Rodriguez-Muro and Giorgio Stefanoni},
booktitle = {Proc. of the 25th ACM Symposium on Applied Computing (SAC 2010)}
}
@inproceedings{CKNRS10,
author = {Calvanese, D. and Keet, C.M. and Nutt, W. and Rodr{\'i}guez-Muro, M. and Stefanoni, G.},
title = {Web-based Graphical Querying of Databases through an Ontology: the {WONDER} System},
booktitle = {Proceedings of ACM Symposium on Applied Computing, ACM SAC'10},
year = {2010},
pages = {1389-1396},
publisher = {ACM}
}
@inproceedings{franconi-intelligent,
title = {{An intelligent query interface based on ontology navigation}},
author = {Franconi, E. and Guagliardo, P. and Trevisan, M.},
booktitle = {Proceedings of the Workshop on Visual Interfaces to the Social and Semantic Web, VISSW 2010},
year = {2010}
}
@inproceedings{ACI:09,
author = {Alessandro Artale and Diego Calvanese and Angelica {Ib{\'a}{\~n}ez-Garc{\'i}a}},
title = {Full Satisfiability of {UML} Class Diagrams ({E}xtended {A}bstract)},
booktitle = {Proc. of the Fourth International Workshop on Logic in Databases, LID'09},
year = {2009}
}
@inproceedings{ACI:10,
author = {Alessandro Artale and Diego Calvanese and Angelica {Ib{\'a}\~nez-Garc{\'i}a}},
title = {Checking Full Satisfiability of Conceptual Models},
booktitle = {Proc.\ of the 23rd Int.\ Workshop on Description Logics,
DL-10},
year = {2010}
}
@article{mdmpc-idtj,
author = {Lu\'{\i}s Moniz Pereira and Carroline D. P. Kencana Ramli},
title = {Modelling Decision Making with Probabilistic Causation},
journal = {Intelligent Decision Technologies},
publisher = {IOS Press},
volume = {Forthcoming, 2010},
issn = {1872-4981},
note = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/IDT-Probabilistic-Causation.pdf},
url = {http://www.iospress.nl/loadtop/load.php?isbn=18724981},
abstract = {Humans know how to reason based on cause and effect, but these are not enough to draw conclusions due to imperfect information and uncertainty. To address this, humans reason combining causal models with probabilistic information. The theory modeling causality and probability is known as Causal Bayes Nets - CBNs. We adopt a logic programming framework and methods to model our functional description of CBNs building on its many strengths and advantages. ACORDA is a declarative prospective logic programming system that simulates human reasoning in multiple steps into the future, but is not equipped to deal with probabilistic theory. P-log is a declarative logic programming language that can reason with probabilistic models. Integrated with P-log, ACORDA becomes ready to deal with uncertainty problems we face on a daily basis. We show how the integration of ACORDA and P-log has been accomplished, and present cases of daily life examples that ACORDA can help people to reason about.},
keywords = {P-log, ACORDA, Prospective Logic Programming, Human Reasoning, Causal Models, Bayes Nets},
year = {2010}
}
@inproceedings{intention-epia09,
author = {Lu\'{\i}s Moniz Pereira and Han The Anh},
editor = {L. Seabra Lopes and Nuno Lau and P. Mariano and L. Rocha},
title = {Intention Recognition via Causal Bayes Networks plus Plan Generation},
booktitle = {14th Portuguese Intl.Conf. on Artificial Intelligence, EPIA'09},
series = {LNAI},
publisher = {Springer},
volume = {5816},
pages = {138-149},
url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/EPIA09-intention-recognition.pdf},
abstract = {In this paper, we describe a novel approach to tackle intention recognition, by combining dynamically configurable and situation-sensitive Causal Bayes Networks plus plan generation techniques. Given some situation, such networks enable recognizing agent to come up with the most likely intentions of the intending agent, i.e. solve one main issue of intention recognition; and, in case of having to make a quick decision, focus on the most important ones. Furthermore, the combination with plan generation provides a significant method to guide the recognition process with respect to hidden actions and unobservable effects, in order to confirm or disconfirm likely intentions. The absence of this articulation is a main drawback of the approaches using Bayes Networks solely, due to the combinatorial problem they encounter.},
keywords = {Intention recognition, Causal Bayes Networks, Plan generation, Plog, ASCP, Logic Programming},
month = {October},
year = {2009}
}
@article{evol-idt09,
author = {Lu\'{\i}s Moniz Pereira and Han The Anh},
title = {Evolution Prospection in Decision Making},
journal = {Intelligent Decision Technologies (IDT)},
publisher = {IOS Press},
address = {http://www.iospress.nl/loadtop/load.php?isbn=18724981},
volume = {3},
number = {3},
pages = {157-171},
isbn = {1872-4981},
url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/IDT-evolution.pdf},
abstract = {This work concerns modelling evolving prospective agent systems. Inasmuch a prospective agent looks ahead some steps into the future, it is confronted with the problem of several possible courses of evolution, and therefore needs to prefer amongst them to decide the best to follow from its present state. First it needs a priori preferences for generating likely courses of evolution. Subsequently, a main contribution of this paper, based on historical information and on a mixture of quantitative and qualitative a posteriori evaluation of its possible evolutions, we equip our agent with so-called evolution-level preferences mechanism, involving three distinct types of commitment. One other main contribution, to enable a prospective agent to evolve, we provide for modelling its evolving knowledge base, including environment and course of evolution triggering of active goals, context-sensitive preferences and integrity constraints. We exhibit examples to illustrate proposed concepts.},
keywords = {Evolving prospective agent, intelligent agent, evolution-level preferences, context-sensitive integrity constraints, abductive reasoning,logic programming, intelligent decision making techniques},
month = {October},
year = {2009}
}
@inproceedings{int-recog-cbn,
author = {Lu\'{\i}s Moniz Pereira and Han The Anh},
editor = {Zita Vale and Ana Madureira},
title = {Intention Recognition with Evolution Prospection and Causal Bayesian Networks},
booktitle = {Procs. Intl. Symp. on Computational Intelligence for Engineering Systems},
series = {CD-ROM},
publisher = {ISEP - Instituto Superior de Engenharia do Porto},
address = {Porto},
note = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/IR-EPA-CBNs.pdf},
url = {http://www.gecad.isep.ipp.pt/iscies09/intro.htm},
abstract = {We describe a novel approach to tackle intention recognition, by combining dynamically configurable and situation-sensitive Causal Bayes Networks plus plan generation techniques. Given some situation, such networks enable the recognizing agent to come up with the most likely intentions of the intending agent and, in case of having to make a quick decision, focus on the important ones. The combination with plan generation provides a significant method to guide the recognition process with respect to hidden actions and unobservable effects, to confirm or disconfirm likely intentions. The absence of this articulation is a main drawback of the approaches using Bayes Networks solely, due to the combinatorial problem they encounter. We explore and exemplify its application, in the Elder Care context, of the ability to perform Intention Recognition and of wielding Evolution Prospection methods to help the Elder achieve its intentions.},
keywords = {Intention recognition, Elder Care, Causal Bayes Networks, Plan generation, Evolution Prospection, Preferences, Logic Programming},
month = {November},
year = {2009}
}
@inproceedings{elder-inap09,
author = {Lu\'{\i}s Moniz Pereira and Han The Anh},
editor = {Salvador Abreu and Dietmar Siepel},
title = {Elder Care via Intention Recognition and Evolution Prospection},
booktitle = {18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management, INAP'09},
publisher = {Univ. {\'E}vora},
address = {{\'E}vora, Portugal},
pages = {5-20},
url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/Elder_Care.pdf},
abstract = {We explore and exemplify the application in the Elder Care context of the ability to perform Intention Recognition and of wielding Evolution Prospection methods. This is achieved by means of an articulate use of Causal Bayes Nets (for heuristically gauging probable general intentions), combined with specific generation of plans involving preferences (for checking which such intentions are plausibly being carried out in the specific situation at hand). The overall approach is formulated within one coherent and general logic programming framework and implemented system. The paper recaps required background and illustrates the approach via an extended application example.},
keywords = {Intention Recognition, Elder Care, Causal Bayes Nets, P-Log, Evolution Prospection, Preferences},
month = {November},
year = {2009}
}
@inproceedings{causalDM,
author = {Lu\'{\i}s Moniz Pereira and Carroline D. P. Kencana Ramli},
editor = {K. Nakamatsu},
title = {Modelling Probabilistic Causation in Decision Making},
booktitle = {Procs. First KES Intl. Symp. on Intelligent Decision Technologies - KES-IDT'09},
series = {Engineering Series},
publisher = {Springer},
address = {Himeji, Japan},
abstract = {Humans reasoning is based on cause and effect, but these are not enough to draw conclusions due to imperfect information and uncertainty. To solve such problems humans combine causal models and probabilistic information, through probabilistic causation, better known as Causal Bayes Nets. We adopt a logic programming framework and methodology to model our functional description of Causal Bayes Nets, building on its strengths to derive a definition of its semantics. ACORDA is a declarative prospective logic programming which simulates human reasoning in multiple steps into the future. ACORDA is not equipped to deal with probabilistic theory. P-log is a declarative logic programming language used to reason with probabilistic models. Integrated with P-log, ACORDA becomes ready to deal with uncertain problems we face on a daily basis. We show how the integration between ACORDA and P-log was accomplished, and present daily life examples that ACORDA can help people reason about.},
month = {April},
year = {2009}
}
@inproceedings{evolprosp,
author = {Lu\'{\i}s Moniz Pereira and Han The Anh},
editor = {K. Nakamatsu},
title = {Evolution Prospection},
booktitle = {Procs. First KES Intl. Symp. on Intelligent Decision Technologies - KES-IDT'09},
series = {Engineering Series},
publisher = {Springer},
address = {Himeji, Japan},
abstract = {Addresses the problem of modelling evolving prospective agent systems. Inasmuch a prospective agent looks ahead a number of steps into the future, it is confronted with the problem of having several different possible courses of evolution, and needs to be able to prefer amongst them to decide the best to follow as seen from its present state. It needs a priori preferences for the generation of likely courses of evolution. Then, based on the historical information as well as on a mixture of quantitative and qualitative a posteriori evaluation of its possible evolutions, we equip our agent with evolution-level preferences mechanism, involving 3 distinct types of commitment. In addition, to enable such a prospective agent to evolve, we provide a way for modelling its evolving knowledge base, including environment and course of evolution triggering of all active goals (desires), context-sensitive preferences and integrity constraints. We give examples.},
month = {April},
year = {2009}
}
@inproceedings{DBLP:conf/atal/LeiteAM09,
author = {Jo{\~a}o Leite and
Jos{\'e} J{\'u}lio Alferes and
Belopeta Mito},
title = {Resource allocation with answer-set programming},
year = {2009},
pages = {649-656},
ee = {http://doi.acm.org/10.1145/1558013.1558103},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~a}o Sichman},
booktitle = {8th International Joint Conference on Autonomous Agents
and Multiagent Systems (AAMAS 2009), Budapest, Hungary,
May 10-15, 2009, Volume 1},
publisher = {IFAAMAS},
isbn = {978-0-9817381-6-1}
}
@inproceedings{DBLP:conf/dalt/NigamL06,
author = {Vivek Nigam and
Jo{\~a}o Leite},
title = {A Dynamic Logic Programming Based System for Agents with
Declarative Goals},
year = {2006},
pages = {174-190},
editor = {Matteo Baldoni and
Ulle Endriss},
booktitle = {Declarative Agent Languages and Technologies IV, 4th
International
Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected,
Revised and Invited Papers},
publisher = {Springer},
series = {LNCS},
volume = {4327},
isbn = {3-540-68959-1}
}
@inproceedings{DBLP:conf/promas/NigamL06,
author = {Vivek Nigam and
Jo{\~a}o Leite},
title = {Adding Knowledge Updates to {3APL}},
pages = {165-181},
editor = {Rafael H. Bordini and
Mehdi Dastani and
J{\"u}rgen Dix and
Amal El Fallah-Seghrouchni},
booktitle = {Programming Multi-Agent Systems, 4th International Workshop,
ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited
Papers},
publisher = {Springer},
series = {LNCS},
volume = {4411},
year = {2007},
isbn = {978-3-540-71955-7}
}
@inproceedings{hk:2009c,
author = {S. H{\"o}lldobler and {C.\,D.\,P.} Kencana Ramli},
title = {Contraction Properties of a Semantic Operator for Human Reasoning},
booktitle = {Proceedings of the Fifth International Conference on Information},
pages = {228-231},
year = 2009,
editor = {Lei Li and K. K. Yen},
publisher = {International Information Institute}
}
@inproceedings{hk:2009a,
author = {S. H{\"o}lldobler and {C.\,D.\,P.} Kencana Ramli},
title = {Logics and Networks for Human Reasoning},
booktitle = {ICANN},
pages = {85-94},
year = 2009,
editor = {C. Alippi et. al.},
volume = 5769,
series = {LNCS},
publisher = {Springer}
}
@inproceedings{hk:2009b,
author = {S. H{\"o}lldobler and {C.\,D.\,P.} Kencana Ramli},
title = {Logic Programs under Three-Valued {{\L}}ukasiewicz's Semantics},
booktitle = {Logic Programming},
pages = {464-478},
editor = {{P.\,M.} Hill and {D.\,S.} Warren},
volume = 5649,
year = 2009,
series = {LNCS},
publisher = {Springer}
}
@inproceedings{bhm:2007,
author = {S. Bader and S. H{\"o}lldobler and V. Mayer-Eichberger},
title = {Extracting Propositional Rules from Feed-Forward Neural Networks -- A New Decompositional Approach},
booktitle = {Proceedings of the 3rd International Workshop on Neuro-Symbolic Learning and Reasoning, NESY},
editor = {A. S. d'Avila Garcez and P. Hitzler and G. Tamburrini},
volume = 230,
year = 2007,
series = {CEUR Workshop Proceedings}
}
@inproceedings{hnk:2005a,
author = {S. H{\"o}lldobler and N. H. Nga and T. D. Khang},
title = {The Fuzzy Description Logic {\cal ALC}$_{FLH}$},
booktitle = {Proceedings of the Ninth IASTED International Conference on Artificial Intelligence and Soft Computing},
pages = {99-104},
year = 2005,
editor = {A.P. del Pobil},
publisher = {ACTA Press}
}
@inproceedings{hskn:2004,
author = {S. H{\"o}lldobler and H.-P. St{\"o}rr and T.D. Khang and Nguyen Hoang Nga},
title = {The Subsumption Problem in the Fuzzy Description Logic {{\cal ALC}$_{FH}$}},
booktitle = {Proceedings Tenth International Conference IPMU 2004: Information Processing and Managment of Uncertainty in Knowledge-Based Systems},
pages = {243-250},
year = 2004,
volume = 1
}
@inproceedings{zhao01,
author = {Zhao, Dengji and Schiffel, Stephan and Thielscher, Michael},
title = {Decomposition of Multi-player Games},
booktitle = {AI '09: Proceedings of the
22nd Australasian Joint Conference on Advances in Artificial Intelligence},
year = {2009},
isbn = {978-3-642-10438-1},
pages = {475--484},
location = {Melbourne, Australia},
doi = {10.1007/978-3-642-10439-8_48},
publisher = {Springer}
}
@inproceedings{wiguna01,
author = {Susana Mu{\~n}oz Hern{\'a}ndez and Wiratna Sari Wiguna},
title = {Fuzzy Cognitive Layer in RoboCupSoccer},
booktitle = {Foundations of Fuzzy Logic and Soft Computing},
year = {2007},
isbn = {978-3-540-72917-4},
pages = {635--645},
location = {Cancun, Mexico},
doi = {10.1007/978-3-540-72950-1_63},
publisher = {Springer}
}
@inproceedings{wiguna02,
author = {Wiratna S. Wiguna, Juan J. Fern{\'a}ndez-i{\'e}bar,
Ana Garc{\'i}a-Serrano},
title = {Using a Fuzzy Model for Combining Search Results from Different Information Sources to Build a Metasearch Engine},
booktitle = {Computational Intelligence, Theory and Applications},
year = {2006},
isbn = {978-3-540-34780-4 (Print) 978-3-540-34783-5 (Online)},
pages = {325--334},
location = {Dortmund, Germany},
doi = {10.1007/3-540-34783-6_34},
publisher = {Springer}
}
@inproceedings{wiguna03,
author = {Susana Mu{\~n}oz Hern{\'a}ndez and Wiratna Sari Wiguna},
title = {Fuzzy Prolog as Cognitive Layer in RoboCupSoccer},
booktitle = {IEEE Symposium on Computational Intelligence and Games (2007
IEEE Symposia Series in Computational Intelligence)},
year = {2007},
pages = {340--345},
location = {Honolulu, Hawaii}
}
@inproceedings{faroque01,
author = {M. Farooque and S. Mu{\~n}oz-Hernandez},
title = {Easy Fuzzy Tool For Emotion Recognition --
Prototype from Voice Speech Analysis},
booktitle = {Proceedings of the International Conference on Fuzzy Computation},
year = {2009},
address = {Maderia, Portugal},
month = {October},
publisher = {Springer}
}
@inproceedings{OrtizCE06,
title = {Characterizing Data Complexity for {C}onjunctive {Q}uery
Answering in Expressive {D}escription {L}ogics},
author = {Magdalena Ortiz and Diego Calvanese and Thomas
Eiter},
publisher = {AAAI Press},
month = jul,
year = 2006,
pages = {275--280},
booktitle = {Proceedings of the Twenty-First National Conference
on Artificial Intelligence (AAAI'06)}
}
@inproceedings{OrtizCE06a,
author = {Magdalena Ortiz and Diego Calvanese and Thomas
Eiter},
title = {Data Complexity of Answering Unions of {C}onjunctive
{Q}ueries in $\mathcal{SHIQ}$},
editor = {Bijan Parsi and Ulrike Sattler and David Toman},
booktitle = {Proceedings of the 2006 International Workshop on
Description Logics, DL'06},
pages = {62--73},
series = {CEUR Workshop Proceedings},
volume = {189},
address = {Lake District, UK},
year = {2006}
}
@inproceedings{ortiz06,
author = {Magdalena Ortiz},
title = {A Fully Internalized Sequent Calculus for {H}ybrid
{C}ategorial {L}ogics},
editor = {Janneke Huitink and Sophia Katrenko},
booktitle = {Proceedings of the Student Session of the 18th
European Summer School of Logic, Language and
Information, ESSLLI'06},
address = {Malaga, Spain},
pages = {136--147},
month = aug,
year = {2006}
}
@inproceedings{bairakdar10,
author = {Bairakdar, Seif El-Din and Dao-Tran, Minh and Eiter,
Thomas and Fink, Michael and Krennwallner, Thomas},
title = {{D}ecomposition of {D}istributed {N}onmonotonic
{M}ulti-{C}ontext {S}ystems},
booktitle = {13th {I}nternational {W}orkshop on {N}on-{M}onotonic
{R}easoning},
year = {2010},
editor = {Meyer, Tommie and Ternovska, Eugenia},
issn = {1613-0073},
keywords = {{A}nswer {S}et {P}rogramming, {N}onmonotonic
{R}easoning, {M}ulti-{C}ontext {S}ystem, {D}ecentralized {M}odel
{C}omputation},
note = {To appear}
}
@inproceedings{jelia-Ortiz08,
author = {Magdalena Ortiz},
title = {Extending {C}arin to the {D}escription {L}ogics of the
$\mathcal{SH}$ Family},
editor = {Steffen H{\"o}lldobler and
Carsten Lutz and
Heinrich Wansing},
booktitle = {Logics in Artificial Intelligence, 11th European
Conference, JELIA 2008},
publisher = {Springer},
series = {LNCS},
volume = 5293,
year = 2008,
pages = {324-337},
doi = {10.1007/978-3-540-87803-2_27}
}
@article{OrtizCE08,
author = {Magdalena Ortiz and
Diego Calvanese and
Thomas Eiter},
title = {Data Complexity of Query Answering in Expressive Description
Logics via Tableaux},
journal = {J. Autom. Reasoning},
volume = {41},
number = {1},
year = {2008},
pages = {61-98},
doi = {10.1007/s10817-008-9102-9}
}
@book{1481412,
author = {Ekaterina Lebedeva},
title = {Hypertree Decompositions for Combinatorial Auctions: Optimal Winner Determination},
year = {2008},
isbn = {3639022319, 9783639022315},
publisher = {VDM Verlag},
address = {Saarbr\"{u}cken, Germany, Germany}
}
@inproceedings{DBLP:conf/lpar/PichlerS08,
author = {Reinhard Pichler and
Vadim Savenkov},
title = {Towards Practical Feasibility of Core Computation in Data
Exchange},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning,
15th International Conference, LPAR 2008},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
publisher = {Springer},
series = {LNCS},
volume = {5330},
year = {2008},
pages = {62-78}
}
@article{DBLP:journals/pvldb/PichlerS09,
author = {Reinhard Pichler and
Vadim Savenkov},
title = {DEMo: Data Exchange Modeling Tool},
journal = {PVLDB},
volume = {2},
number = {2},
year = {2009},
pages = {1606-1609},
ee = {http://www.vldb.org/pvldb/2/vldb09-1043.pdf}
}
@article{PichlerS10,
author = {Reinhard Pichler and
Vadim Savenkov},
title = {Towards Practical Feasibility of Core Computation in
Data Exchange},
journal = {Theoretical Compututer Science},
volume = {411},
year = {2010},
pages = {935-957}
}
@inproceedings{simk-eite-07,
author = {Mantas {\v Simkus} and Thomas Eiter},
title = {{FDNC}: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols},
booktitle = {Proceedings 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2007},
editor = {N. Dershowitz and A. Voronkov},
number = {4790},
series = {LNCS},
publisher = {Springer},
year = 2007,
pages = {514--530}
}
@inproceedings{eite-etal-kr10-para,
author = {Thomas Eiter and Michael Fink Joao Moura},
title = {Paracoherent Answer Set Programming},
booktitle = {Proceedings 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), May 9-13, 2010, Toronto, Canada},
editor = {},
year = 2010,
publisher = {},
pages = {},
note = {To appear}
}
@inproceedings{dao-etal-09-ecsqaru,
author = {Minh {Dao-Tran} and Thomas Eiter and Thomas Krennwallner},
title = {Realizing Default Logic over Description Logic Knowledge Bases},
booktitle = {Proc.\ 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
ECSQARU 2009},
year = {2009},
editor = {C. Sossai and G. Chemello},
publisher = {Springer},
series = {LNCS},
volume = {5590},
pages = {602--613}
}
@inproceedings{de2008-jsc,
author = {Minh Dao-Tran and Thomas Eiter},
booktitle = {Proceedings of the Junior Scientist Conference 2008},
editor = {Hans Kaiser and Raimund Kirner},
isbn = {978-3-200-01612-5},
keywords = {Answer Set Programming, Hybrid Knowledge Base, Nonmonotonic Reasoning},
month = nov,
pages = {83--84},
title = {Default Reasoning on Top of Ontologies with dl-Programs},
year = {2008}
}
@inproceedings{bdefk2010-nmr,
author = {Seif El-Din Bairakdar and Minh Dao-Tran and Thomas Eiter and
Michael Fink and Thomas Krennwallner},
booktitle = {13th International Workshop on Non-Monotonic Reasoning, NMR
2010},
editor = {Tommie Meyer and Eugenia Ternovska},
issn = {1613-0073},
keywords = {Multi-Context Systems, Nonmonotonic Reasoning},
series = {CEUR Workshop Proceedings},
title = {Decomposition of Distributed Nonmonotonic Multi-Context Systems},
url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/nmr2010-decompmcs.pdf},
year = {2010},
abstract = {Multi-Context Systems (MCS) are formalisms that enable the
interlinkage of single knowledge bases, called contexts, via
bridge rules. Recently, the evaluation of heterogeneous,
nonmonotonic MCS was considered in Dao-Tran et al. (2010),
where a fully distributed algorithm was described. In this
paper, we continue this line of work and present a
decomposition technique for MCS which analyzes the topology of
an MCS. It applies pruning techniques to get economically
small representations of context dependencies. Orthogonal to
this, we characterize minimal interfaces for information
exchange between contexts, such that data transmissions can be
minimized. We then present a novel evaluation algorithm that
operates on a query plan which is compiled with topology
pruning and interface minimization. The effectiveness of the
optimization techniques is demonstrated by a prototype
implementation, which uses an off-the-shelf SAT solver and
shows encouraging experimental results.}
}
@inproceedings{dek2009-ecsqaru,
author = {Minh Dao-Tran and Thomas Eiter and Thomas Krennwallner},
booktitle = {10th European Conference on Symbolic and
Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009},
doi = {10.1007/978-3-642-02906-6_52},
editor = {Claudio Sossai and Gaetano Chemello},
isbn = {978-3-642-02905-9},
keywords = {Default Logic, Description Logics, Integration of Default Logic and Description Logic, Hybrid Reasoning},
pages = {602--613},
publisher = {Springer},
series = {LNAI},
title = {Realizing Default Logic over Description Logic Knowledge Bases},
url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2009/ecsqaru2009-defaults.pdf},
volume = {5590},
year = {2009},
abstract = {We consider a realization of Reiter-style default logic on
top of description logic knowledge bases (DL-KBs). To this
end, we present elegant transformations from default theories
to conjunctive query (cq-)programs that combine rules and
ontologies, based on different methods to find extensions of
default theories. The transformations, which are implemented
in a front-end to a DL-reasoner, exploit additional
constraints to prune the search space via relations between
default conclusions and justifications. The front-end is a
flexible tool for customizing the realization, allowing to
develop alternative or refined default semantics. To our
knowledge, no comparable implementation is available.}
}
@inproceedings{BaaNovSun-DL-08,
author = {Franz Baader and Novak Novakovic and Boontawee Suntisrivaraporn},
title = {A Proof-Theoretic Subsumption Reasoner for Hybrid $\mathcal{EL}$-{TBoxes}},
booktitle = {Proceedings of the 2008 International Workshop on Description Logics, DL2008},
year = {2008},
series = {CEUR Workshop Proceedings},
volume = {353}
}
@inproceedings{MeSu-DL09,
author = {Julian Mendez and Boontawee Suntisrivaraporn},
title = {Reintroducing CEL as an OWL 2 EL Reasoner},
booktitle = {Proceedings of the 2009 International Workshop on Description
Logics, {DL2009}},
editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and
Ulrike Sattler},
year = {2009},
volume = {477},
series = {CEUR Workshop Proceedings}
}
@inproceedings{Novakovic08,
author = {Novak Novakovic},
title = {A Proof-Theoretic Approach to Deciding Subsumption and Computing
Least Common Subsumer in w.r.t. Hybrid TBoxes},
editor = {Steffen H{\"o}lldobler and
Carsten Lutz and
Heinrich Wansing},
booktitle = {Logics in Artificial Intelligence, 11th European Conference,
JELIA 2008, Dresden, Germany, September 28 - October 1,
2008. Proceedings},
year = {2008},
pages = {311-323},
publisher = {Springer},
series = {LNCS},
volume = {5293}
}
@inproceedings{scherer-etal-08,
author = {R. J. Scherer and P. Katranuschkov and K. Rybenko},
title = {Description Logic Based Collaborative Process Management},
booktitle = {ICE08 -- Proceedings of the 15th Workshop
of the European Group for Intelligent
Computing in Engineering (EG-ICE)},
year = {2008},
editor = {Y. Rafiq and P. de Wilde and M. Borthwick},
isbn = {978-1-84102-191-1},
pages = {291--302},
address = {Plymouth, UK}
}
@inproceedings{eite-etal-10-aaai_bpa,
author = {Thomas Eiter and Wolfgang Faber and Mushthofa Mushthofa},
title = {Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities},
year = 2010,
booktitle = {Proceedings 24rd Conference on Artificial Intelligence, AAAI '10},
pages = {},
publisher = {AAAI Press},
note = {To appear}
}