Výsledky vyhledávání - "F.4.1 Mathematical Logic. Logic and constraint programming"

Introducing dynamic behavior in amalgamated knowledge bases

Autoři: E. BERTINO CATANIA, BARBARA P. PERLASCA

Zdroj: Theory and Practice of Logic Programming. 3:625-669

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Active rule, Deductive databases, Heterogeneous databases, Update, active rules, Computer Science - Programming Languages, D.1.6 Logic Programming, F.4.1 Mathematical Logic, Logic and constraint programming, Database theory, Databases (cs.DB), 02 engineering and technology, Logic programming, H.2.5 Heterogeneous Databases, Logic in Computer Science (cs.LO), Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.), Computer Science - Databases, heterogeneous databases, 0202 electrical engineering, electronic engineering, information engineering, deductive databases, updates, Programming Languages (cs.PL)

Popis souboru: application/xml

Přístupová URL adresa: http://arxiv.org/pdf/cs/0207076
http://arxiv.org/abs/cs/0207076
https://dblp.uni-trier.de/db/journals/tplp/tplp3.html#BertinoCP03
https://air.unimi.it/handle/2434/141747
https://arxiv.org/abs/cs.PL/0207076
http://dblp.uni-trier.de/db/journals/corr/corr0207.html#cs-PL-0207076
https://arxiv.org/pdf/cs/0207076
https://hdl.handle.net/11567/208493

Query Answering in Normal Logic Programs Under Uncertainty

Autoři: Straccia U

Zdroj: Lecture Notes in Computer Science ISBN: 9783540273264
8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pp. 687–700, Barcellona, Spain, July 2005
info:cnr-pdr/source/autori:Straccia U./congresso_nome:8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty/congresso_luogo:Barcellona, Spain/congresso_data:July 2005/anno:2005/pagina_da:687/pagina_a:700/intervallo_pagine:687–700

Témata: Bilattices, Non-monotonic, F.4.1 Mathematical Logic: Logic and constraint programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Multi-valued logics, Logic programming, 01 natural sciences, Semantics

Popis souboru: application/pdf

Annotated answer set programming

Autoři: Straccia U

Zdroj: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06), pp. 1212–1219, Paris, 04/07/2006
info:cnr-pdr/source/autori:Straccia U./congresso_nome:Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06)/congresso_luogo:Paris/congresso_data:04%2F07%2F2006/anno:2006/pagina_da:1212/pagina_a:1219/intervallo_pagine:1212–1219
ISTI Technical reports, 2005

Témata: F.4.1 Mathematical Logic. Logic and constraint programming, I.2 Artificial Intelligence, Many-valued logic programming, I.2.3 Deduction and Theorem Proving. Logic programming

Popis souboru: application/pdf

Přístupová URL adresa: https://publications.cnr.it/doc/91302
http://ipmu2006.lip6.fr/program.php
http://www.cnr.it/prodotto/i/91302
https://publications.cnr.it/doc/160226
http://www.cnr.it/prodotto/i/160226
http://ipmu2006.lip6.fr/program.php
https://hdl.handle.net/20.500.14243/61466

Introducing Dynamic Behavior in Amalgamated Knowledge Bases

Autoři: Bertino, Elisa Catania, Barbara Perlasca, Paolo

Témata: Computer Science - Programming Languages, Computer Science - Databases, Computer Science - Logic in Computer Science, D.1.6 Logic Programming, H.2.5 Heterogeneous Databases, F.4.1 Mathematical Logic, Logic and constraint programming, text

URL: http://arxiv.org/abs/cs/0207076