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

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

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

Unicast and Multicast QoS Routing with Soft-Constraint Logic Programming.

Zdroj: ACM Transactions on Computational Logic; Oct2010, Vol. 12 Issue 1, p5-5:48, 48p, 1 Black and White Photograph, 17 Diagrams, 8 Charts

Témata: QUALITY of service, MATHEMATICAL logic, FORMAL languages, PROGRAMMING languages, LOGIC programming, DATA mining, SEMIRINGS (Mathematics), COMPUTER networks, CONSTRAINT programming

The Impact of Logic Programming on Datebases.

Autoři: Grant, John Minker, Jack

Zdroj: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p66-81, 16p

Témata: LOGIC programming, DATABASES, INFORMATION theory, CYBERNETICS, MATHEMATICAL logic, DATABASE management

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

Constraint satisfaction tractability from semi-lattice operations on infinite sets

Autoři: Bodirsky, Manuel Macpherson, Dugald Thapper, Johan a další

Přispěvatelé: Bodirsky, Manuel Macpherson, Dugald Thapper, Johan a další

Zdroj: ACM Transactions on Computational Logic

Témata: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], FOS: Computer and information sciences, ω-categoricity, Discrete Mathematics (cs.DM), Mathematics - Logic, 0102 computer and information sciences, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Computational Complexity (cs.CC), semi-lattice operations, 01 natural sciences, Computational complexity, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Computer Science - Computational Complexity, Mathematical Logic—Logic and constraint programming, FOS: Mathematics, F.4.1, Model theory, Theory, 0101 mathematics, constraint satisfaction problems, Logic (math.LO), Algorithms, Computer Science - Discrete Mathematics

Přístupová URL adresa: http://arxiv.org/pdf/1111.6616
http://arxiv.org/abs/1111.6616
https://arxiv.org/abs/1111.6616
https://dl.acm.org/doi/10.1145/2528933
https://core.ac.uk/display/23555794
https://hal.archives-ouvertes.fr/hal-00756929/document
https://hal.archives-ouvertes.fr/hal-00756929
https://arxiv.org/pdf/1111.6616v1

Outlier Detection by Logic Programming.

Autoři: Angiulli, Fabrizio Greco, Gianluigi Palopoli, Luigi

Zdroj: ACM Transactions on Computational Logic; Dec2007, Vol. 9 Issue 1, p7.1-7.56, 56p, 2 Diagrams, 3 Charts

Témata: LOGIC programming, COMPUTER programming, COMPUTATIONAL complexity, MACHINE theory, MATHEMATICAL logic

On the Termination of Integer Loops.

Autoři: BEN-AMRAM, AMIR M. GENAIM, SAMIR MASUD, ABU NASER

Zdroj: ACM Transactions on Programming Languages & Systems; Dec2012, Vol. 34 Issue 4, p1-24, 24p

Témata: PETRI nets, LOOPS (Group theory), DECIDABILITY (Mathematical logic), COMPUTER programming, LINEAR programming, MATHEMATICAL inequalities

PSPACE Bounds for Rank-1 Modal Logics.

Autoři: Schröder, Lutz Pattinson, Dirk

Zdroj: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p13-13.33, 33p, 2 Diagrams

Témata: ALGORITHMS, TECHNOLOGICAL complexity, COMPUTATIONAL complexity, PROGRAMMING languages, MATHEMATICAL logic

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics.

Autoři: Olivetti, Nicola Pozzato, Gian Luca Schwind, Camilla B.

Zdroj: ACM Transactions on Computational Logic; Aug2007, Vol. 8 Issue 4, p1-51, 51p, 9 Diagrams, 1 Chart

Témata: KNOWLEDGE representation (Information theory), LOGIC programming, PROOF theory, MATHEMATICAL logic, SEQUENTIAL analysis, ARTIFICIAL intelligence

Why Are There So Many Loop Formulas?

Autoři: Lifschitz, Vladimir Razborov, Alexander

Zdroj: ACM Transactions on Computational Logic; Apr2006, Vol. 7 Issue 2, p261-268, 8p

Témata: LOGIC programming, COMPUTER programming, SEMANTICS, COMPUTATIONAL complexity, LOOPS (Group theory), MATHEMATICAL logic, INFORMATION theory

Monadic Second Order Logic on Graphs with Local Cardinality Constraints.

Zdroj: ACM Transactions on Computational Logic; Jan2011, Vol. 12 Issue 2, p12-12:21, 21p

Témata: MATHEMATICAL logic, TREE graphs, NP-complete problems, COMPUTATIONAL mathematics, COMBINATORY logic, ALGORITHMS, MATHEMATICAL formulas, MATHEMATICAL mappings

Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic.

Autoři: Coppola, Paolo Martini, Simone

Zdroj: ACM Transactions on Computational Logic; Apr2006, Vol. 7 Issue 2, p219-260, 42p

Témata: ALGORITHMS, MATHEMATICAL logic, LAMBDA calculus, AFFINE algebraic groups, SYNTAX (Grammar), COMPUTER software

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data.

Autoři: YORKE-SMITH, NEIL GERVET, CARMEN

Zdroj: ACM Transactions on Computational Logic; Jan2009, Vol. 10 Issue 1, p3-3:41, 41p, 4 Diagrams, 5 Charts, 2 Graphs

Témata: CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMPUTER programming, COMPUTER networks

Simplification Rules for Intuitionistic Propositional Tableaux.

Autoři: Ferrari, Mauro Fiorentini, Camillo Fiorino, Guido

Zdroj: ACM Transactions on Computational Logic; Apr2012, Vol. 13 Issue 2, p14:1-14:23, 23p

Témata: INTUITIONISTIC mathematics, PROPOSITIONAL calculus, LOGIC programming, MATHEMATICAL logic, DECISION logic tables, SEMANTIC computing, MATHEMATICAL analysis

On Preservation under Homomorphisms and Unions of Conjunctive Queries.

Autoři: Atserias, Albert Dawar, Anuj Kolaitis, Phokion G.

Zdroj: Journal of the ACM; Mar2006, Vol. 53 Issue 2, p208-237, 30p

Témata: QUERYING (Computer science), RELATIONAL databases, HOMOMORPHISMS, MATHEMATICAL logic, GRAPH theory

Efficient Solving of Quantified Inequality Constraints over the Real Numbers.

Autoři: Ratschan, Stefan

Zdroj: ACM Transactions on Computational Logic; Oct2006, Vol. 7 Issue 4, p723-748, 26p

Témata: REAL numbers, ALGORITHMS, COMPUTER programming, MATHEMATICAL programming, MATHEMATICS, MATHEMATICAL analysis

Proofs, Tests and Continuation Passing Style.

Autoři: Guerrini, Stefano Masini, Andrea

Zdroj: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p12-12.34, 34p, 5 Diagrams

Témata: PROOF theory, PROGRAMMING languages, LAMBDA calculus, MATHEMATICAL logic, CONTINUATION methods

On Computing All Abductive Explanations from a Propositional Horn Theory.

Autoři: Eiter, Thomas Makino, Kazuhisa

Zdroj: Journal of the ACM; Oct2007, Vol. 54 Issue 5, p1-54, 54p, 3 Charts

Témata: ALGORITHMS, MONOTONE operators, POLYNOMIALS, ALGEBRA, COMPUTER logic, MATHEMATICAL logic

Model Predictive Control for Signal Temporal Logic Specification

Autoři: Raman, Vasumathi Donzé, Alexandre Maasoumy, Mehdi a další

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0209 industrial biotechnology, Formal Languages and Automata Theory (cs.FL), I.2.8, FOS: Electrical engineering, electronic engineering, information engineering, F.4.1, Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/1703.09563