Výsledky vyhledávání - Semantics of Logic Programs and Deductive Databases Additional Key Words and Phrases

Super Logic Programs

Autoři: Stefan Brass Jürgen Dix Teodor C. Przymusinski a další

Přispěvatelé: Stefan Brass Jürgen Dix Teodor C. Przymusinski a další

Zdroj: http://arxiv.org/pdf/cs/0010032v1.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6783; http://arxiv.org/pdf/cs/0010032v1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6783
http://arxiv.org/pdf/cs/0010032v1.pdf

An abstract machine for tabled execution of fixed-order stratified logic programs

Autoři: Terrance Swift The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Terrance Swift The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.kuleuven.ac.be/~dtai/publications/files/2679.pdf.

Témata: resolution General Terms, Algorithms, Experimentation, Performance Additional Key Words and Phrases, Memoing, Prolog, SLG, stratification theories, tabling, WAM

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.2916; http://www.cs.kuleuven.ac.be/~dtai/publications/files/2679.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.2916
http://www.cs.kuleuven.ac.be/~dtai/publications/files/2679.pdf

The wellfounded semantics for general logic programs

Autoři: Allen Van Gelder Kenneth A. Ross John S. Schlipf a další

Přispěvatelé: Allen Van Gelder Kenneth A. Ross John S. Schlipf a další

Zdroj: http://users.soe.ucsc.edu/~avg/Papers/wf.pdf.

Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Denitions and Theory | semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic | logic programming, model theory, I.2.3 [Articial Intelligence, Deduction and Theorem Proving | logic programming, nonmonotonic reasoning and belief revision General Terms, Languages, Theory Additional Key Words and Phrases, negation as failure, well-founded models, xpoints, unfounded sets, stable models, three-valued logic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.8051; http://users.soe.ucsc.edu/~avg/Papers/wf.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.8051
http://users.soe.ucsc.edu/~avg/Papers/wf.pdf

The Well-Founded Semantics for General Logic Programs

Autoři: Allen Van Gelder Kenneth A. Ross John S. Schlipf a další

Přispěvatelé: Allen Van Gelder Kenneth A. Ross John S. Schlipf a další

Zdroj: http://www.cs.columbia.edu/~kar/pubsk/wfjacm.ps.

Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory--- semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic--- logic programming, model theory, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving--- logic programming, nonmonotonic reasoning and belief revision General Terms, Languages, Theory Additional Key Words and Phrases, negation as failure, well-founded models, fixpoints, unfounded sets, stable models, three-valued

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2340; http://www.cs.columbia.edu/~kar/pubsk/wfjacm.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2340
http://www.cs.columbia.edu/~kar/pubsk/wfjacm.ps

Give or Take: Semantic Priming from Sentences to Two-Digit Operations.

Autoři: Ayala-Cuesta, Miguel Castro, Sofía Macizo, Pedro

Zdroj: Brain Sciences (2076-3425); Jun2025, Vol. 15 Issue 6, p662, 21p

Témata: SEMANTICS, MATHEMATICS, ARITHMETIC, PROBLEM solving, VERBS

A Logical Foundation for Deductive Object-Oriented Databases.

Autoři: Liu, Mengchi Dobbie, Gillian Ling, Tok Wang

Zdroj: ACM Transactions on Database Systems; Mar2002, Vol. 27 Issue 1, p117-151, 35p

Témata: DEDUCTIVE databases, OBJECT-oriented databases, OBJECT-oriented programming, PROGRAMMING languages, FORMAL language semantics, DATABASE design

AUGS 46th Annual Scientific Meeting.

Zdroj: Urogynecology; 2025Supplement, Vol. 31, pS1-S542, 542p

Program Abstracts from the GSA 2024 Annual Scientific Meeting, “The Fortitude Factor”.

Zdroj: Innovation in Aging; 2024 Supplement, Vol. 8, p1-1377, 1377p

D.A. Pospelov and the Development of Artificial Intelligence in the Soviet Union and the Russian Federation.

Autoři: Averkin, A. N. Kobrinskii, B. A.

Zdroj: Pattern Recognition & Image Analysis; Dec2023, Vol. 33 Issue 4, p840-861, 22p

Abstracts: Program Abstracts from The GSA 2022 Annual Scientific Meeting, "Embracing Our Diversity. Enriching Our Discovery. Reimagining Aging".

Zdroj: Innovation in Aging; 2022 Supplement, Vol. 6, p1-881, 881p

Fuzzy linguistic logic programming and its applications.

Autoři: VAN HUNG LE FEI LIU TRAN, DINH KHANG

Zdroj: Theory & Practice of Logic Programming; May2009, Vol. 9 Issue 3, p309-341, 33p

Témata: PROGRAMMING languages, C (Computer program language), COMPUTER programming, ARTIFICIAL intelligence, DIGITAL computer simulation

Query-Driven Procedures for Hybrid MKNF Knowledge Bases.

Autoři: ALFERES, JOSÉ JÚLIO KNORR, MATTHIAS SWIFT, TERRANCE

Zdroj: ACM Transactions on Computational Logic; Jun2013, Vol. 14 Issue 2, p1-43, 43p

Témata: QUERY (Information retrieval system), HYBRID systems, KNOWLEDGE base, LOGIC programming, POLYNOMIALS, DATA analysis, SEMANTIC Web

Semantical Characterizations and Complexity of Equivalences in Answer Set Programming.

Autoři: Eiter, Thomas Fink, Michael Woltran, Stefan

Zdroj: ACM Transactions on Computational Logic; Jul2007, Vol. 8 Issue 3, p1-53, 53p, 5 Charts, 1 Graph

Témata: COMPUTER programming, MANAGEMENT science, ALGORITHMS, LOGIC programming, MATHEMATICAL optimization, MATHEMATICAL analysis, NUMERICAL analysis

Information System Semantics (A Logic-Based Approach).

Autoři: Lee, Ronald M.

Zdroj: Journal of Management Information Systems; Fall1984, Vol. 1 Issue 2, p18-44, 27p

Témata: MANAGEMENT information systems, FORMAL language semantics, LOGIC programming, SYSTEM analysis, AXIOMS, ORGANIZATION

Understanding the Global Semantics of Referential Actions using Logic Rules.

Autoři: May, Wolfgang Ludäscher, Bertram

Zdroj: ACM Transactions on Database Systems; Dec2002, Vol. 27 Issue 4, p343-397, 55p

Témata: SEMANTICS, INTEGRITY, DATABASES, COMPUTER programming, DATABASE management, INFORMATION theory, ALGORITHMS

17^TH WORLD CONGRESS ON PUBLIC HEALTH.

Zdroj: Population Medicine; 2023 Supplement, Vol. 5, p1-134, 726p

Témata: MEDICAL personnel, PUBLIC health, MEDICAL care, PSORIASIS, GENETIC toxicology, SARS-CoV-2, CHRONIC pain, HEALTH facilities, DEMENTIA, MEDICAL sciences, PRESCRIPTION writing, HEALTH care reminder systems, HEALTH policy

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autoři: Parosh Aziz Abdulla Delia Kesner

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

The Creativity Diamond—A Framework to Aid Creativity.

Autoři: Childs, Peter Han, Ji Chen, Liuqing a další

Zdroj: Journal of Intelligence; Dec2022, Vol. 10 Issue 4, p73, 20p

Témata: CREATIVE ability, DIAMONDS, NEW product development, TECHNOLOGICAL innovations

A Logic of Nonmonotone Inductive Definitions.

Autoři: DENECKER, MARC TERNOVSKA, EUGENIA

Zdroj: ACM Transactions on Computational Logic; Mar2008, Vol. 9 Issue 2, p1-52, 52p, 1 Chart

Témata: PROGRAMMING languages, LOGIC programming, COMPUTER programming, SEMANTICS, COMPUTER science

The Impact of Logic Programming on Datebases.

Autoři: Grant, John Minker, Jack

Zdroj: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p66-81, 16p

Témata: LOGIC programming, DATABASES, INFORMATION theory, CYBERNETICS, MATHEMATICAL logic, DATABASE management