Search Results - F.4.1 Mathematical Logic: Logic AND constraint programming

Query Answering in Normal Logic Programs Under Uncertainty

Authors: Straccia U

Source: 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

Subject Terms: 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

File Description: application/pdf

Introducing dynamic behavior in amalgamated knowledge bases

Authors: E. BERTINO CATANIA, BARBARA P. PERLASCA

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

Subject Terms: 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)

File Description: application/xml

Access URL: 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.

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

Subject Terms: 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.

Authors: Grant, John Minker, Jack

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

Subject Terms: LOGIC programming, DATABASES, INFORMATION theory, CYBERNETICS, MATHEMATICAL logic, DATABASE management

Annotated answer set programming

Authors: Straccia U

Source: 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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Bodirsky, Manuel Macpherson, Dugald Thapper, Johan et al.

Contributors: Bodirsky, Manuel Macpherson, Dugald Thapper, Johan et al.

Source: ACM Transactions on Computational Logic

Subject Terms: [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

Access URL: 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.

Authors: Angiulli, Fabrizio Greco, Gianluigi Palopoli, Luigi

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

Subject Terms: LOGIC programming, COMPUTER programming, COMPUTATIONAL complexity, MACHINE theory, MATHEMATICAL logic

On the Termination of Integer Loops.

Authors: BEN-AMRAM, AMIR M. GENAIM, SAMIR MASUD, ABU NASER

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

Subject Terms: PETRI nets, LOOPS (Group theory), DECIDABILITY (Mathematical logic), COMPUTER programming, LINEAR programming, MATHEMATICAL inequalities

PSPACE Bounds for Rank-1 Modal Logics.

Authors: Schröder, Lutz Pattinson, Dirk

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

Subject Terms: ALGORITHMS, TECHNOLOGICAL complexity, COMPUTATIONAL complexity, PROGRAMMING languages, MATHEMATICAL logic

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

Authors: Olivetti, Nicola Pozzato, Gian Luca Schwind, Camilla B.

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

Subject Terms: KNOWLEDGE representation (Information theory), LOGIC programming, PROOF theory, MATHEMATICAL logic, SEQUENTIAL analysis, ARTIFICIAL intelligence

Why Are There So Many Loop Formulas?

Authors: Lifschitz, Vladimir Razborov, Alexander

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

Subject Terms: LOGIC programming, COMPUTER programming, SEMANTICS, COMPUTATIONAL complexity, LOOPS (Group theory), MATHEMATICAL logic, INFORMATION theory

Monadic Second Order Logic on Graphs with Local Cardinality Constraints.

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

Subject Terms: 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.

Authors: Coppola, Paolo Martini, Simone

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

Subject Terms: ALGORITHMS, MATHEMATICAL logic, LAMBDA calculus, AFFINE algebraic groups, SYNTAX (Grammar), COMPUTER software

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

Authors: YORKE-SMITH, NEIL GERVET, CARMEN

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

Subject Terms: CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMPUTER programming, COMPUTER networks

Simplification Rules for Intuitionistic Propositional Tableaux.

Authors: Ferrari, Mauro Fiorentini, Camillo Fiorino, Guido

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

Subject Terms: INTUITIONISTIC mathematics, PROPOSITIONAL calculus, LOGIC programming, MATHEMATICAL logic, DECISION logic tables, SEMANTIC computing, MATHEMATICAL analysis

On Preservation under Homomorphisms and Unions of Conjunctive Queries.

Authors: Atserias, Albert Dawar, Anuj Kolaitis, Phokion G.

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

Subject Terms: QUERYING (Computer science), RELATIONAL databases, HOMOMORPHISMS, MATHEMATICAL logic, GRAPH theory

Efficient Solving of Quantified Inequality Constraints over the Real Numbers.

Authors: Ratschan, Stefan

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

Subject Terms: REAL numbers, ALGORITHMS, COMPUTER programming, MATHEMATICAL programming, MATHEMATICS, MATHEMATICAL analysis

Proofs, Tests and Continuation Passing Style.

Authors: Guerrini, Stefano Masini, Andrea

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

Subject Terms: PROOF theory, PROGRAMMING languages, LAMBDA calculus, MATHEMATICAL logic, CONTINUATION methods

On Computing All Abductive Explanations from a Propositional Horn Theory.

Authors: Eiter, Thomas Makino, Kazuhisa

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

Subject Terms: ALGORITHMS, MONOTONE operators, POLYNOMIALS, ALGEBRA, COMPUTER logic, MATHEMATICAL logic

Model Predictive Control for Signal Temporal Logic Specification

Authors: Raman, Vasumathi Donzé, Alexandre Maasoumy, Mehdi et al.

Subject Terms: 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)

Access URL: http://arxiv.org/abs/1703.09563