Suchergebnisse - (mathematical OR matematika) logic—logic and constraint programming general terms~
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://arxiv.org/pdf/0704.1783v2.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.313.3831; http://arxiv.org/pdf/0704.1783v2.pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://arxiv.org/pdf/0704.1783v3.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.5570; http://arxiv.org/pdf/0704.1783v3.pdf
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
4
Autoren:
Weitere Verfasser:
Quelle: ftp://ftp.cs.uky.edu/cs/manuscripts/toclEastTruszczynski04.ps
Schlagwörter: 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
Dateibeschreibung: application/postscript
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: Mathematical Logic—Logic and constraint programming General Terms, Predicate logic, Search problems, Constraints Additional Key Words and Phrases, Satisfiability, pseudo-boolean constraints
Dateibeschreibung: 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
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming, Modal logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic Programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Modal logic General Terms, Non-Monotonic Reasoning, Logics of Knowledge and Beliefs, Semantics of Logic Programs and Deductive Databases Additional Key Words and Phrases, Disjunctive logic programming, negation, static semantics, well-founded semantics
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6783; http://arxiv.org/pdf/cs/0010032v1.pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: General Terms, Theory, Algorithms Additional Key Words and Phrases, Membership and Equality Constraints, Lists, Multisets, Compact Lists, Sets
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.9699; http://tocl.acm.org/accepted/273piazza.pdf
-
11
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic--Logic and constraint programming, I.2.6 [Artificial Intelligence, Learning--Induction General Terms, Algorithms, Design Additional Key Words and Phrases, Rule-Based Constraint Programming, Generation of Solvers, Finite Domains
Dateibeschreibung: application/postscript
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic--Logic and constraint programming, G.2.1 [Discrete Mathematics, Combinatorics--Combinatorial algorithms, F.1.3 [Computation by Abstract Devices, Complexity Measures and Classes--Reducibility and completeness General Terms, Algorithms, Theory Additional Key Words and Phrases, Constraint Satisfaction problem, homomorphism problem, complexity, dichotomy theorem
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.9544; http://www.cs.sfu.ca/~abulatov/papers/consfull.ps
-
13
Autoren:
Weitere Verfasser:
Schlagwörter: Mathematical Logic—Logic and constraint programming, G.2.1 [Discrete Mathematics, Combinatorics—Combinatorial algorithms, F.1.3 [Computation by Abstract Devices, Complexity Measures and Classes—Reducibility and completeness General Terms, Algorithms, Theory Additional Key Words and Phrases, complexity, Constraint Satisfaction Problem, dichotomy theorem, homomorphism
Dateibeschreibung: application/pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming, Model theory General Terms, Algorithms, Theory Additional Key Words and Phrases, Computational complexity, constraint satisfaction problems, semi-lattice operations, ω-categoricity ACM Reference Format
Dateibeschreibung: application/pdf
-
15
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic— Logic and constraint programming, G.2.1 [Discrete Mathematics, Combinatorics—Combinatorial algorithms, F.1.3 [Computation by Abstract Devices, Complexity Measures and Classes—Reducibility and completeness General Terms, Algorithms, Theory Additional Key Words and Phrases, Constraint Satisfaction problem, counting problems, com- plexity
Dateibeschreibung: application/pdf
-
16
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming, G.3 [Probability and Statistics]—Probabilistic algorithms (including Monte Carlo) General Terms, Languages, Theory Additional Key Words and Phrases, Bayesian networks, recursive loops, cyclic influences, the well-founded model ACM Reference Format
Dateibeschreibung: application/pdf
-
17
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: F.4.1 [Theory of Computation, Mathematical Logic— logic and constraint programming, model theory General Terms Algorithms, Theory Keywords Constraint Satisfaction Problems, Phylogenetic Reconstruction, Computational Complexity, Datalog, ω-categorical structures
Dateibeschreibung: application/pdf
-
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.3.2 [Programming Languages, Constraint and Logic Languages, D.3.3 [Programming Languages, Language Constructs and Features, F.4 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and Constraint Programming, Set Theory, I.2.3 [Deduction and Theorem Proving, Logic Programming General Terms, Theory, Algorithms Additional Key Words and Phrases, Membership and Equality Constraints, Lists, Multisets, Compact Lists, Sets
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.8246; http://www.math.unipr.it/~gianfr/PAPERS/Combining.ToCL07.pdf
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: 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 programming General Terms, Languages, Theory Additional Key Words and Phrases, Prolog, tabling, SLG-resolution
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927; http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.1.6 [Software, Programming Techniques-Logic Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages-Denotational Semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic-Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving-Logic Programming General Terms, Design, Languages, Theory Additional Key Words and Phrases, Higher-Order Logic Programming, Denotational Semantics, Extensionality, Algebraic Lattices ACM Reference Format
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science