History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 | next | last

Result 1 to 20 of 88 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).
WorldCat.org
1
Handling preferences in P2P systems. (English)
Lukasiewicz, Thomas (ed.) et al., Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5‒9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28471-7/pbk). Lecture Notes in Computer Science 7153, 91-106 (2012).
WorldCat.org
2
Aggregates and priorities in P2P data management systems (English)
IDEAS, 1-7 (2011).
WorldCat.org
3
$\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).
WorldCat.org
4
A logic approach to virtual sensor networks (English)
IDEAS, 149-156 (2010).
WorldCat.org
5
NP Datalog: a logic language for expressing NP search and optimization problems. (English)
Comput. Res. Repos. 2009, Article No. 0911.2785 (2009).
WorldCat.org
6
Active integrity constraints for database consistency maintenance (English)
IEEE Trans. Knowl. Data Eng. 21, No. 7, 1042-1058 (2009).
WorldCat.org
7
Consistent queries over databases with integrity constraints (English)
Database Technologies: Concepts, Methodologies, Tools, and Applications, 2051-2058 (2009).
WorldCat.org
8
A logical framework for detecting anomalies in drug resistance algorithms (English)
IDEAS, 23-30 (2009).
WorldCat.org
9
Modeling cooperation in P2P data management systems. (English)
An, Aijun (ed.) et al., Foundations of intelligent systems. 17th international symposium, ISMIS 2008 Toronto, Canada, May 20‒23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68122-9/pbk). Lecture Notes in Computer Science 4994. Lecture Notes in Artificial Intelligence, 225-235 (2008).
WorldCat.org
10
Modeling cooperation in P2P data management systems (English)
ISMIS, 225-235 (2008).
WorldCat.org
11
On the semantics of logic programs with preferences. (English)
J. Artif. Intell. Res. (JAIR) 30, 501-523 (2007).
WorldCat.org
12
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).
WorldCat.org
13
Consistent data integration in P2P deductive databases. (English)
Prade, Henri (ed.) et al., Scalable uncertainty management. First international conference, SUM 2007, Washington, DC, USA, October 10‒12, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75407-7/pbk). Lecture Notes in Computer Science 4772. Lecture Notes in Artificial Intelligence, 230-243 (2007).
WorldCat.org
14
Implementing prioritized reasoning in logic programming (English)
ICEIS (2), 94-100 (2007).
WorldCat.org
15
Consistent data integration in P2P deductive databases (English)
SUM, 230-243 (2007).
WorldCat.org
16
View updating through active integrity constraints (English)
ICLP, 430-431 (2007).
WorldCat.org
17
A framework for prioritized reasoning based on the choice evaluation (English)
SAC, 65-70 (2007).
WorldCat.org
18
Prioritized reasoning in logic programming (English)
FLAIRS Conference, 178-179 (2007).
WorldCat.org
19
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).
WorldCat.org
20
first | previous | 1 21 41 61 81 | next | last

Result 1 to 20 of 88 total

Valid XHTML 1.0 Transitional Valid CSS!