Result 1 to 20 of 37 total
The view-update problem for indefinite databases. (English)
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 134-146 (2012).
1
ChaseT: A tool for checking chase termination. (English)
Benferhat, Salem (ed.) et al., Scalable uncertainty management. 5th international conference, SUM 2011, Dayton, OH, USA, October 10‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23962-5/pbk). Lecture Notes in Computer Science 6929. Lecture Notes in Artificial Intelligence, 520-524 (2011).
2
Stratification criteria and rewriting techniques for checking chase termination (English)
PVLDB 4, No. 11, 1158-1168 (2011).
3
Chaset: A tool for checking chase termination (English)
SUM, 520-524 (2011).
4
$\cal {NPD}$atalog: A logic language for expressing $\cal {NP}$ search and optimization problems. (English)
Theory Pract. Log. Program. 10, No. 2, 125-166 (2010).
5
Querying and updating inconsistent databases (Extended abstract) (English)
SEBD, 438-445 (2010).
6
NP Datalog: a logic language for expressing NP search and optimization problems. (English)
Comput. Res. Repos. 2009, Article No. 0911.2785 (2009).
7
Consistent queries over databases with integrity constraints (English)
Database Technologies: Concepts, Methodologies, Tools, and Applications, 2051-2058 (2009).
8
Analyzing security scenarios using defence trees and answer set programming. (English)
Electron. Notes Theor. Comput. Sci. 197, No. 2, 121-129 (2008).
9
On the semantics of logic programs with preferences. (English)
J. Artif. Intell. Res. (JAIR) 30, 501-523 (2007).
10
View updating through active integrity constraints. (English)
Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8‒13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 430-431 (2007).
11
Answer set optimization for and/or composition of CP-nets: A security scenario. (English)
Bessière, Christian (ed.), Principles and practice of constraint programming ‒ CP 2007. 13th international conference, CP 2007, Providence, RI, USA, September 23‒27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74969-1/pbk). Lecture Notes in Computer Science 4741, 773-781 (2007).
12
Implementing prioritized reasoning in logic programming (English)
ICEIS (2), 94-100 (2007).
13
View updating through active integrity constraints (English)
ICLP, 430-431 (2007).
14
A framework for prioritized reasoning based on the choice evaluation (English)
SAC, 65-70 (2007).
15
Prioritized reasoning in logic programming (English)
FLAIRS Conference, 178-179 (2007).
16
Answer set optimization for and/or composition of CP-nets: A security scenario (English)
CP, 773-781 (2007).
17
On the semantics of logic programs with preferences. (English)
Fisher, Michael (ed.) et al., Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13‒15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39625-3/pbk). Lecture Notes in Computer Science 4160. Lecture Notes in Artificial Intelligence, 203-215 (2006).
18
Preferred generalized answers for inconsistent databases. (English)
Esposito, Floriana (ed.) et al., Foundations of intelligent systems. 16th international symposium, ISMIS 2006, Bari, Italy, September 27‒29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45764-0/pbk). Lecture Notes in Computer Science 4203. Lecture Notes in Artificial Intelligence, 344-349 (2006).
19
Preferred generalized answers for inconsistent databases (English)
ISMIS, 344-349 (2006).
20
Result 1 to 20 of 37 total
Start
Contact
Print
General Help
