Výsledky vyhľadávania - "Knowledge Representation Formalisms and Methods—Predicate Logic"

M.: From clarity to efficiency for distributed algorithms

Autori: Yanhong A. Liu Scott D. Stoller Bo Lin a ďalší

Prispievatelia: Yanhong A. Liu Scott D. Stoller Bo Lin a ďalší

Zdroj: http://www.cs.stonybrook.edu/~liu/papers/DistPL-OOPSLA12.pdf.

Predmety: semantics, I.2.4 [Computing Methodologies, Knowledge Representation Formalisms and Methods—Predicate logic

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.9380

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.9380
http://www.cs.stonybrook.edu/~liu/papers/DistPL-OOPSLA12.pdf

University of Hagen at QA@CLEF 2006: Answer Validation Exercise

Autori: Ingo Glöckner The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Ingo Glöckner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://pi7.fernuni-hagen.de/gloeckner/mave-clef06-wn.pdf.

Predmety: Inference engines, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods— Predicate logic, Semantic networks, I.2.7 [Artificial Intelligence, Natural Language Processing Keywords Answer Validation, Question Answering, Recognising Textual Entailment (RTE, Robustness, MultiNet

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.3977

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.3977
http://pi7.fernuni-hagen.de/gloeckner/mave-clef06-wn.pdf

Predicate-Calculus Based Logics for Modeling and Solving Search Problems

Autori: Deborah East Mirosław Truszczynski The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Deborah East Mirosław Truszczynski The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.cs.uky.edu/cs/manuscripts/toclEastTruszczynski04.ps

Predmety: 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 súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.9200

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.9200

A formal foundation for process modeling

Autori: Christopher Menzel Michael Grüninger The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Christopher Menzel Michael Grüninger The Pennsylvania State University CiteSeerX Archives

Zdroj: http://philebus.tamu.edu/cmenzel/Papers/FOIS-2001.pdf.

Predmety: Categories &, Descriptors, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Predicate logic, Representation languages General Terms, Languages, Theory, Standardization Keywords, Process modeling, Process Specification Language, PSL, Formal ontology

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.6732

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.6732
http://philebus.tamu.edu/cmenzel/Papers/FOIS-2001.pdf

A formal foundation for process modeling

Autori: Christopher Menzel The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Christopher Menzel The Pennsylvania State University CiteSeerX Archives

Zdroj: http://philebus.tamu.edu/cmenzel/Papers/FOIS-2001.pdf.

Predmety: Categories &, Descriptors, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Predicate logic, Representation languages General Terms, Languages, Theory, Standardization Keywords, Process modeling, Process Specification Language, PSL, Formal ontology

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.6637

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.6637
http://philebus.tamu.edu/cmenzel/Papers/FOIS-2001.pdf

An Extended Transformation Approach to Inductive Logic Programming

Autori: Nada Lavrac Peter A. Flach The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Nada Lavrac Peter A. Flach The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bris.ac.uk/home/flach/papers/lavrac-flach-tocl01.pdf.

Predmety: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Predicate logic, I.2.6 [Artificial Intelligence, Learning—Concept learning, Induction General Terms, Algorithms, Experimentation Additional Key Words and Phrases, Data mining, inductive logic programming, machine learning, relational databases

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.5708

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.5708
http://www.cs.bris.ac.uk/home/flach/papers/lavrac-flach-tocl01.pdf

Natural-language retrieval of images based on descriptive captions

Autori: Eugene J. Guglielmo Neil C. Rowe The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Eugene J. Guglielmo Neil C. Rowe The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.nps.navy.mil/Content/CS/ncrowe/marie/gug_tois_96.pdf.

Predmety: Categories and Subject Descriptors, H.3.1 [Information Storage and Retrieval, Content Analysis and Indexing—indexing methods, linguistic processing, H.3.3 [Information Storage and Retrieval, Information Search and Retrieval—query formulation, search process, selection process, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—predicate logic, I.2.7 [Artificial Intelligence, Natural Language Processing—language parsing and understanding General Terms, Algorithms, Experimentation, Human Factors, Performance Additional Key Words and Phrases, Captions, multimedia database, type hierarchy

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.2693; http://www.nps.navy.mil/Content/CS/ncrowe/marie/gug_tois_96.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.2693
http://www.nps.navy.mil/Content/CS/ncrowe/marie/gug_tois_96.pdf

AND

Autori: Peter K. Rathmann Marianne Winslett Mark Manasse a ďalší

Prispievatelia: Peter K. Rathmann Marianne Winslett Mark Manasse a ďalší

Zdroj: http://www.std.org/~msm/common/circumscrip.pdf.

Predmety: Categories and Subject Descriptors, 1.2.3 [Artificial Intelligence, Deduction and Theorem Proving—}~or~rrto~zofo~z~creasorztng and belief reuwon, 1.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—predicate logic, 1.2.0 [Artificial Intelligence, General —plulo- sophical foundation General Terms, Theory Additional Key Words and Phrases, Circumscription, common sense reasoning

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.8695; http://www.std.org/~msm/common/circumscrip.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.8695
http://www.std.org/~msm/common/circumscrip.pdf

A Constraint Propagation for First-Order Logic and Inductive Definitions

Autori: Johan Wittocx Marc Denecker Maurice Bruynooghe a ďalší

Prispievatelia: Johan Wittocx Marc Denecker Maurice Bruynooghe a ďalší

Zdroj: http://tocl.acm.org/accepted/wittocx-denecker_constraints.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5361

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5361
http://tocl.acm.org/accepted/wittocx-denecker_constraints.pdf