Search Results - "D.1.6 Logic Programming"
-
1
Authors:
Source: Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 135-149 (2017)
Subject Terms: D.3.2 Constraint and Logic Languages, FOS: Computer and information sciences, Computer Science - Programming Languages, D.1.6 Logic Programming, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, D.3.3 Constraints, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Programming Languages (cs.PL)
-
2
Authors:
Source: Theory and Practice of Logic Programming. 3:625-669
Subject Terms: 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)
File Description: application/xml
Access URL: 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
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors H.3.4 [Information Storage and Retrieval, Performance Evaluation, H.2.4 [Database Management, Rule-Based Databases, D.1.6 [Logic Programming] General Terms Experimentation, Performance, Languages Keywords OpenRuleBench, Semantic Web, Rule Systems, Benchmark
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3093; http://www.cs.sunysb.edu/~kifer/TechReports/OpenRuleBench09.pdf
-
4
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.1.6 [Logic Programming, F.3.2 [Semantics of Programming Languages, Operational semantics, F.4.1 [Computational logic, Logic programming, I.2.3 [Deduction and Theorem Proving, Resolution, I.2.8 [Problem Solving, Control Methods and Search, Dynamic Programming General Terms, Programming, Languages Additional Key Words and Phrases, Tabled resolution, dynamic programming, fixed point Author’s address, Hai-Feng Guo, Depar
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6253; http://arxiv.org/pdf/cs/0412041v1.pdf
-
5
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.1.6 [Logic Programming, General Terms, Theory Additional Key Words and Phrases, Answer Set Programming, Tableau calculi, Proof complexity
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4467; http://tocl.acm.org/accepted/461gebser.pdf
-
6
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.1.6 [Logic Programming, General Terms, Theory Additional Key Words and Phrases, Answer Set Programming, Tableau calculi, Proof complexity
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors H.3.4 [Information Storage and Retrieval, Performance Evaluation, H.2.4 [Database Management, Rule-Based Databases, D.1.6 [Logic Programming] General Terms Experimentation, Performance, Languages Keywords OpenRuleBench, Semantic Web, Rule Systems, Benchmark
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.215.6490; http://www2009.org/proceedings/pdf/p601.pdf
-
8
Authors:
-
9
Full Text Finder 
Nájsť tento článok vo Web of Science