Suchergebnisse - "Mathematical 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:
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
-
5
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
-
6
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
-
7
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
-
8
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
-
9
Autoren:
Quelle: Journal of the ACM; Jan2014, Vol. 61 Issue 1, p3-19, 19p
Schlagwörter: THEORY of constraints, SATISFACTION, ALGORITHMS, LOGICAL prediction, INDUCTION (Logic)
-
10
Autoren: et al.
Quelle: ACM Transactions on Knowledge Discovery from Data; Jun2015, Vol. 9 Issue 4, p32:1-32:39, 39p
-
11
Autoren:
Quelle: ACM Transactions on Software Engineering & Methodology; May2014, Vol. 23 Issue 3, p25:1-25:43, 43p
-
12
Autoren:
Quelle: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-45, 45p
-
13
Autoren: et al.
Quelle: ACM Transactions on Computational Logic; Jun2013, Vol. 14 Issue 2, p1-46, 46p
-
14
Autoren:
Quelle: ACM Transactions on Information & System Security (TISSEC); 2010, Vol. 13 Issue 3, p20-20:28, 28p, 2 Diagrams, 3 Charts
Schlagwörter: ACCESS control, SECURITY systems, COMPUTER security, DATA protection, ALGORITHMS
-
15
Autoren:
Quelle: ACM Transactions on Computational Logic; Jan2009, Vol. 10 Issue 1, p3-3:41, 41p, 4 Diagrams, 5 Charts, 2 Graphs
-
16
Autoren:
Quelle: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p16.1-16.26, 26p, 5 Charts
-
17
Autoren:
Quelle: ACM Transactions on Computational Logic; Aug2007, Vol. 8 Issue 4, p1-38, 38p, 7 Charts
Nájsť tento článok vo Web of Science 
Full Text Finder