Výsledky vyhledávání - "Mathematical Logic—Logic and constraint programming"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Computational Logic
Témata: [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
Přístupová URL adresa: 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 -
2
Autoři:
Zdroj: Theory and Practice of Logic Programming. 3:625-669
Témata: 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)
Popis souboru: application/xml
Přístupová URL adresa: 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 -
3
Autoři: a další
Přispěvatelé: a další
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
-
4
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
-
5
Autoři:
Přispěvatelé:
Popis souboru: application/pdf
-
6
Autoři: a další
Přispěvatelé: a další
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
-
7
Autoři:
Přispěvatelé:
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
-
8
Autoři:
Přispěvatelé:
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
-
9
Autoři:
Přispěvatelé:
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
-
10
Autoři: Straccia U
Zdroj: 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–700Témata: 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
Popis souboru: application/pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/postscript
-
12
Autoři: Straccia U
Zdroj: 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, 2005Témata: 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
Popis souboru: application/pdf
-
13
Autoři:
Zdroj: ISTI Technical reports, 1996
Témata: Mathematical logic: proof theory, Deduction and theorem proving: resolution, Mathematical logic: model theory, Mathematical logic: logic and constraint programming, integrity, SRP_IC refutation procedure, Deduction and theorem proving: deduction, General: security, and protection
Přístupová URL adresa: http://www.cnr.it/prodotto/i/408395
https://publications.cnr.it/doc/408395 -
14
Autoři:
Zdroj: ISTI Technical reports, 1996
Témata: Mathematical logic: proof theory, Deduction and theorem proving: resolution, Mathematical logic: model theory, Deductive Databases, Mathematical logic: logic and constraint programming, integrity, Deduction and theorem proving: deduction, General: security, and protection
Přístupová URL adresa: http://www.cnr.it/prodotto/i/408397
https://publications.cnr.it/doc/408397 -
15
Autoři: a další
Přispěvatelé: a další
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
-
16
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
17
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: 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
Popis souboru: application/postscript
-
18
Autoři:
Přispěvatelé:
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
-
19
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.3.2 [Language Classifications, Constraint and logic languages. Concurrent, distributed, and parallel languages, D.2.4 [Software / Program Verification, Formal methods, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis
Popis souboru: application/pdf
-
20
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science