Výsledky vyhľadávania - "Mathematical Logic—Logic and Constraint Programming General Terms"

Unicast and multicast QoS routing with soft-constraint logic programming

Autori: Stefano Bistarelli Ugo Montanari Francesca Rossi a ďalší

Prispievatelia: Stefano Bistarelli Ugo Montanari Francesca Rossi a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Stefano Bistarelli Ugo Montanari Francesca Rossi a ďalší

Prispievatelia: Stefano Bistarelli Ugo Montanari Francesca Rossi a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.1149
http://arxiv.org/pdf/0704.1783v1.pdf

Unicast and multicast QoS routing with soft constraint logic programming

Autori: Stefano Bistarelli Ugo Montanari Francesca Rossi a ďalší

Prispievatelia: Stefano Bistarelli Ugo Montanari Francesca Rossi a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Moritz Y. Becker Mathematical Modelling The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Moritz Y. Becker Mathematical Modelling The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Deborah East The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Deborah East The Pennsylvania State University CiteSeerX Archives

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

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

Popis súboru: 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

Dostupnosť: 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

Autori: Deborah East Mirosław Truszczynski The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Deborah East Mirosław Truszczynski The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/postscript

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

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

Chinese Academy of Sciences

Autori: Yi-dong Shen Jia-huai You Li-yan Yuan a ďalší

Prispievatelia: Yi-dong Shen Jia-huai You Li-yan Yuan a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Neil Yorke-smith Carmen Gervet The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Neil Yorke-smith Carmen Gervet The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Johan Wittocx Marc Denecker Maurice Bruynooghe a ďalší

Prispievatelia: Johan Wittocx Marc Denecker Maurice Bruynooghe a ďalší

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

Predmety: 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 súboru: application/pdf

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

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