المؤلفون: Boris Motik, Riccardo Rosati

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.ox.ac.uk/people/boris.motik/pubs/mr10mknf-rules.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, F.4.1 [[Mathematical Logic and Formal Languages, Mathematical Logic—Computational logic, Mechanical theorem proving, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Answer/reason extraction, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Representation languages General Terms, Algorithms, Theory Additional Key Words and Phrases, Description Logics, Answer Set Programming, Combined Complexity, Data Complexity

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.3191; http://www.cs.ox.ac.uk/people/boris.motik/pubs/mr10mknf-rules.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.3191
http://www.cs.ox.ac.uk/people/boris.motik/pubs/mr10mknf-rules.pdf

المؤلفون: Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila Mcilraith

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.nmsu.edu/~tson/papers/TOCLSubmission152-ElectApp.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Plan generation, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Representation languages General Terms, Planning, Control Knowledge, Answer Set Planning Additional Key Words and Phrases, Reasoning about actions, Procedural knowledge

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.1777; http://www.cs.nmsu.edu/~tson/papers/TOCLSubmission152-ElectApp.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.1777
http://www.cs.nmsu.edu/~tson/papers/TOCLSubmission152-ElectApp.pdf

المؤلفون: Michael Wachter, Rolf Haenni

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.iam.unibe.ch/~run/papers/WH06c.pdf.

مصطلحات موضوعية: I.2.3 [Artificial Intelligence, Deduction and Theorem Proving – inference engines, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods – Representation languages General Terms, Algorithms, Theory

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.948; http://www.iam.unibe.ch/~run/papers/WH06c.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.948
http://www.iam.unibe.ch/~run/papers/WH06c.pdf

المؤلفون: Patrick Stickler, Jeremy J. Carroll

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.hpl.hp.com/techreports/2003/HPL-2003-268.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Representation languages General Terms Languages Key, RDF, XML

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.3779; http://www.hpl.hp.com/techreports/2003/HPL-2003-268.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.3779
http://www.hpl.hp.com/techreports/2003/HPL-2003-268.pdf

المؤلفون: Dan Wu, Evren Sirin, James Hendler, Dana Nau, Bijan Parsia

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.umd.edu/~nau/papers/wu03automatic.pdf.

مصطلحات موضوعية: I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Representation languages General Terms Algorithms, Theory, Languages Keywords Semantic Web, DAML-S, Web Services, Web Service Composition, Automated Reasoning

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.6724; http://www.cs.umd.edu/~nau/papers/wu03automatic.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.6724
http://www.cs.umd.edu/~nau/papers/wu03automatic.pdf

المؤلفون: Nir Friedman, Joseph Y. Halpern

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://arxiv.org/pdf/cs/9808007v1.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Representation Languages General Terms, Theory Additional Key Words and Phrases, Conditional Logic, Default Reasoning, ǫ-Semantics, κ-rankings, Plausibility Measures, Possibility Measures, Preferential Orderings Nonmonotonic Inference. Some of this work was done while both authors were at

وصف الملف: application/pdf

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

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6004
http://arxiv.org/pdf/cs/9808007v1.pdf

المؤلفون: Nir Friedman, Joseph Y. Halpern

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cornell.edu/Info/People/halpern/papers/frh5.ps.

مصطلحات موضوعية: Mathematical Logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving---Non- monotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods---Representation Languages General Terms, Theory Additional Key Words and Phrases, Conditional Logic, Default Reasoning, ffl-Semantics, rankings, Plausibility Measures, Possibility Measures, Preferential Orderings Nonmonotonic Inference

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.9097; http://www.cs.cornell.edu/Info/People/halpern/papers/frh5.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.9097
http://www.cs.cornell.edu/Info/People/halpern/papers/frh5.ps

المؤلفون: Nir Friedman, Joseph Y. Halpern

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://robotics.stanford.edu/users/nir/Papers/FrH5Full.ps.

مصطلحات موضوعية: Mathematical Logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving---Non- monotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods---Representation Languages General Terms, Theory Additional Key Words and Phrases, Conditional Logic, Default Reasoning, ffl-Semantics, rankings, Plausibility Measures, Possibility Measures, Preferential Orderings Nonmonotonic Inference

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8988; http://robotics.stanford.edu/users/nir/Papers/FrH5Full.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8988
http://robotics.stanford.edu/users/nir/Papers/FrH5Full.ps

المؤلفون: Joost Vennekens, David Gilis, Marc Denecker, K. U. Leuven

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.kuleuven.be/~dtai/publications/files/41545.ps.gz.

مصطلحات موضوعية: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic--Computational 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--Representation languages General Terms, Theory Additional Key Words and Phrases, Modularity, Logic Programming, Default Logic, Autoepistemic Logic

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6701; http://www.cs.kuleuven.be/~dtai/publications/files/41545.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6701
http://www.cs.kuleuven.be/~dtai/publications/files/41545.ps.gz

المؤلفون: Robin Adams

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.rhul.ac.uk/home/robin/cslflf.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Lambda calculus and related systems, Mechanical theorem proving, I.2.3 [Artifi- cial Intelligence, Deduction and Theorem Proving—Metatheory, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Representation languages General Terms Languages, Theory Keywords Coercive subtyping, Type theory, Lambda-free logical framework, Typecasting, Metatheory

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.512.9001; http://www.cs.rhul.ac.uk/home/robin/cslflf.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.512.9001
http://www.cs.rhul.ac.uk/home/robin/cslflf.pdf

المؤلفون: Joost Vennekens, David Gilis, Marc Denecker, K. U. Leuven

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://lirias.kuleuven.be/bitstream/123456789/125390/1/toclFIXED.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational logic, I.2.3 [Artificial Intelligence, Deduction and Theo- rem Proving—Logic programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Representation languages General Terms, Theory Additional Key Words and Phrases, Modularity, Logic Programming, Default Logic, Auto- epistemic Logic

وصف الملف: application/pdf

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

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.511.407

المؤلفون: Miloš Savić, Zoran Budimac, Gordana Rakić, Mirjana Ivanović

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://ceur-ws.org/Vol-1053/sqamia2013paper12.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, D.2.8 [Software Engineering, Metrics – Complexity measures, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods – Representation languages General Terms, Languages, Measurement Additional Key Words and Phrases, OWL2, Ontology metrics, Complexity, SSQSA, eCST representation

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.5935; http://ceur-ws.org/Vol-1053/sqamia2013paper12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.5935
http://ceur-ws.org/Vol-1053/sqamia2013paper12.pdf

المؤلفون: Nancy Wiegand

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.digitalgovernment.org/library/library/dgo2005/postersa/wiegand_searching.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors H.2.5 [Database Management, Heterogeneous Databases. I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods- representation languages. General Terms Management, Design, Human Factors, Standardization. Keywords Geospatial, Semantic and model heterogeneity, Internet technology, DBMS, Semantic Web

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9985; http://www.digitalgovernment.org/library/library/dgo2005/postersa/wiegand_searching.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9985
http://www.digitalgovernment.org/library/library/dgo2005/postersa/wiegand_searching.pdf