Výsledky vyhledávání - "Mathematical Logic—Logic AND Constraint Programming General Terms*"

Unicast and multicast QoS routing with soft-constraint logic programming

Autoři: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Přispěvatelé: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Zdroj: http://arxiv.org/pdf/0704.1783v2.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, C.2.3 [Computer-Communication Networks, Network Operations—Network management, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Measurement, Theory Additional Key Words and Phrases, Quality of service, network routing, soft constraint logic programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.313.3831; http://arxiv.org/pdf/0704.1783v2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.313.3831
http://arxiv.org/pdf/0704.1783v2.pdf

Unicast and multicast QoS routing with soft constraint logic programming

Autoři: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Přispěvatelé: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Zdroj: http://arxiv.org/pdf/0704.1783v3.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, C.2.3 [Computer-Communication Networks, Network Operations—Network management, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Measurement, Theory

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.5570; http://arxiv.org/pdf/0704.1783v3.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.5570
http://arxiv.org/pdf/0704.1783v3.pdf

A logic for state-modifying authorization policies

Autoři: Moritz Y. Becker Mathematical Modelling The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Moritz Y. Becker Mathematical Modelling The Pennsylvania State University CiteSeerX Archives

Zdroj: http://se.inf.ethz.ch/people/nanz/publications/becker-nanz_tissec10.pdf.

Témata: Categories and Subject Descriptors, D.4.6 [Operating Systems, Security and protection – Access controls, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic – Logic and constraint programming General Terms, Security, Logic Additional Key Words and Phrases, Authorization, Access control, Policy, Hoare logic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.7280

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.7280
http://se.inf.ethz.ch/people/nanz/publications/becker-nanz_tissec10.pdf

Predicate-calculus based logics for modeling and solving search problems

Autoři: Deborah East The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Deborah East The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uky.edu/ai/papers.dir/toclEastTruszczynski04.pdf.

Témata: Mathematical Logic—Logic and constraint programming General Terms, Predicate logic, Search problems, Constraints Additional Key Words and Phrases, Satisfiability, pseudo-boolean constraints

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.5591; http://www.cs.uky.edu/ai/papers.dir/toclEastTruszczynski04.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.5591
http://www.cs.uky.edu/ai/papers.dir/toclEastTruszczynski04.pdf

Predicate-Calculus Based Logics for Modeling and Solving Search Problems

Autoři: Deborah East Mirosław Truszczynski The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Deborah East Mirosław Truszczynski The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.cs.uky.edu/cs/manuscripts/toclEastTruszczynski04.ps

Témata: Categories and Subject Descriptors, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods---predicate logic, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic---Logic and constraint programming General Terms, Predicate logic, Search problems, Constraints Additional Key Words and Phrases, Satisfiability, pseudo-boolean constraints

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.9200

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.9200

Chinese Academy of Sciences

Autoři: Yi-dong Shen Jia-huai You Li-yan Yuan a další

Přispěvatelé: Yi-dong Shen Jia-huai You Li-yan Yuan a další

Zdroj: http://www.cs.ust.hk/~qyang/Docs/2003/p417-shen.pdf.

Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Theory Additional Key Words and Phrases, Termination analysis, dynamic characterization, Prolog

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.4478

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.4478
http://www.cs.ust.hk/~qyang/Docs/2003/p417-shen.pdf

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

Autoři: Neil Yorke-smith Carmen Gervet The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Neil Yorke-smith Carmen Gervet The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ai.sri.com/pubs/files/1710.pdf.

Témata: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Algorithms, Reliability, Uncertainty Additional Key Words and Phrases, Incomplete and erroneous data, uncertain constraint satisfac- tion problem, closure, reliable solutions ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.503.3912; http://www.ai.sri.com/pubs/files/1710.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.503.3912
http://www.ai.sri.com/pubs/files/1710.pdf

A Constraint Propagation for First-Order Logic and Inductive Definitions

Autoři: Johan Wittocx Marc Denecker Maurice Bruynooghe a další

Přispěvatelé: Johan Wittocx Marc Denecker Maurice Bruynooghe a další

Zdroj: http://tocl.acm.org/accepted/wittocx-denecker_constraints.pdf.

Témata: Categories and Subject Descriptors, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Predicate Logic, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and Constraint Programming General Terms, Algorithms, Theory Additional Key Words and Phrases, Aggregates, constraint propagation, first-order logic, inductive definitions ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5361

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5361
http://tocl.acm.org/accepted/wittocx-denecker_constraints.pdf

Constraint Satisfaction Problems Solvable by Local Consistency Methods.

Autoři: BARTO, LIBOR KOZIK, MARCIN

Zdroj: Journal of the ACM; Jan2014, Vol. 61 Issue 1, p3-19, 19p

Témata: THEORY of constraints, SATISFACTION, ALGORITHMS, LOGICAL prediction, INDUCTION (Logic)

Process Discovery under Precedence Constraints.

Autoři: GRECO, GIANLUIGI GUZZO, ANTONELLA LUPIA, FRANCESCO a další

Zdroj: ACM Transactions on Knowledge Discovery from Data; Jun2015, Vol. 9 Issue 4, p32:1-32:39, 39p

Témata: COMPUTATIONAL complexity, SYSTEMS theory, INFORMATION processing, ACQUISITION of data, ALGORITHMS

Architecture-Level Configuration of Large-Scale Embedded Software Systems.

Autoři: BEHJATI, RAZIEH NEJATI, SHIVA BRIAND, LIONEL C.

Zdroj: ACM Transactions on Software Engineering & Methodology; May2014, Vol. 23 Issue 3, p25:1-25:43, 43p

Témata: EMBEDDED computer systems, SOFTWARE architecture, SOFTWARE configuration management, AUTOMATION, SOFTWARE engineering, CONSTRAINT programming

Constraint Propagation for First-Order Logic and Inductive Definitions.

Autoři: WITTOCX, JOHAN DENECKER, MARC BRUYNOOGHE, MAURICE

Zdroj: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-45, 45p

Témata: CONSTRAINT satisfaction, FIRST-order logic, ALGORITHMS, POLYNOMIALS, APPLICATION software, MATHEMATICAL models, QUERY (Information retrieval system)

A Model-Theoretic Approach to Belief Change in Answer Set Programming.

Autoři: DELGRANDE, JAMES SCHAUB, TORSTEN TOMPITS, HANS a další

Zdroj: ACM Transactions on Computational Logic; Jun2013, Vol. 14 Issue 2, p1-46, 46p

Témata: BELIEF change, COMPUTER programming, MATHEMATICAL models, MATHEMATICAL formulas, CONSTRAINT satisfaction, CODING theory, COMPUTATIONAL complexity

A Logic for State-Modifying Authorization Policies.

Autoři: Becker, Moritz Y. Nanz, Sebastian

Zdroj: ACM Transactions on Information & System Security (TISSEC); 2010, Vol. 13 Issue 3, p20-20:28, 28p, 2 Diagrams, 3 Charts

Témata: ACCESS control, SECURITY systems, COMPUTER security, DATA protection, ALGORITHMS

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

Foundational Certified Code in the Twelf Metalogical Framework.

Autoři: CRARY, KARL SARKAR, SUSMIT

Zdroj: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p16.1-16.26, 26p, 5 Charts

Témata: INFORMATION theory, MACHINE theory, PROGRAMMING languages, LANGUAGE & logic, COMPUTER programming, MATHEMATICAL programming

Removing Propagation Redundant Constraints in Redundant Modeling.

Autoři: Choi, C. W. Lee, J. H. M. Stuckey, P. J.

Zdroj: ACM Transactions on Computational Logic; Aug2007, Vol. 8 Issue 4, p1-38, 38p, 7 Charts

Témata: CONSTRAINT satisfaction, CONSTRAINT programming, PROGRAMMING languages, INDUSTRIAL applications, INFORMATION retrieval, MUSICAL composition