BibSonomy :: user :: neilernst ::

tag user group author concept BibTeX key search:all search:neilernst

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(44)

<< < 1 | 2 | 3 > >>

What you always wanted to know about Datalog and never dared to ask
S. Ceri, G. Gottlob, and L. Tanca IEEE Transactions on Knowledge and Data Engineering 1(1):146-166 (March 1989)
to database logic by neilernst and 3 other users on Mar 24, 2009, 8:36 PM
URL | BibTeX (0)
Chaining techniques for automated theorem proving in finitely-valued logics
Harald Ganzinger, and Viorica Sofronie-Stokkermans Proceedings of the 30th Intl Symp. Multi-valued Logics, page 337--344. Portland, Oregon, IEEE Computer Society Press, (May 2000)
to logic uncertainty by neilernst on Feb 9, 2009, 5:03 AM
BibTeX (0)
How a computer should think
Nuel D. Belnap Entailment: The Logic of Relevance and Necessity, 2, Princeton University Press, (1992)
to logic software by neilernst on Feb 9, 2009, 12:15 AM
URL | BibTeX (0)
A useful four-valued logic
N. D. Belnap Modern Uses of Multiple-Valued Logic, Reidel Publishing Company, Boston, (1977)
to logic by neilernst and 1 other user on Feb 9, 2009, 12:15 AM
BibTeX (0)
Automated Paraconsistent Reasoning via Model Checking
S. M. Easterbrook, and M. Chechik First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference on Artificial Intelligence, IJCAI-01, Seattle, USA, (August 2001)
to Model logic reasoning by neilernst on Feb 4, 2009, 6:13 PM
URL | BibTeX (0)
A Translation Method for Belnap Logic
Odinaldo Rodrigues, and Alessandra Russo Research Report, Doc 98/7. Imperial College London, (September 1998)
to logic by neilernst on Feb 4, 2009, 6:07 PM
URL | BibTeX (0)
Multivalued logics: A uniform approach to reasoning in artificial intelligence
Matthew L. Ginsberg Computational Intelligence (1988)
to ai logic by neilernst and 2 other users on Feb 4, 2009, 6:01 PM
URL | BibTeX (0)
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
Phan Minh Dung Artificial Intelligence 77(2):321--357 (1995)
to argumentation games logic by neilernst and 6 other users on Nov 11, 2006, 3:39 AM
URL | BibTeX (0)
Intelligent Agents: Theory and Practice
Michael Wooldridge, and Nicholas R. Jennings Knowledge Engineering Review (1995)
to logic agent by neilernst and 12 other users on Oct 25, 2006, 9:46 PM
URL | BibTeX (0)
Parts, wholes, and part-whole relations: the prospects of mereotopology
Achille C. Varzi Data Knowl. Eng. 20(3):259--286 (November 1996)
to logic mereotopology by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | DOI | BibTeX (0)
Introduction to the special issue on temporal information processing
Inderjeet Mani, James Pustejovsky, and Beth Sundheim ACM Transactions on Asian Language Information Processing TALIP 3(1):1--10 (March 2004)
to logic temporal by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | DOI | BibTeX (0)
Logic Without Model Theory
Robert Kowalski What is a logical system?, Oxford University Press, New York, NY, USA, (1994)
to logic theory model by neilernst on Sep 18, 2006, 6:26 AM
BibTeX (0)
The INFOLOG linear tense propositional logic of events and transactions
Jose Fiadeiro, and Amilcar Sernadas Information Systems 11(1):61--85 (1986)
to logic formal model requirements temporal by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | DOI | BibTeX (0)
A knowledge representation language for requirements engineering
E. Dubois, J. Hagelstein, E. Lahou, F. Ponsaert, and A. Rifaut Proceedings of the IEEE 74(10):1431--1444 (1986)
to logic seminal model requirements by neilernst on Sep 18, 2006, 6:26 AM
URL | BibTeX (0)
Fuzzy sets and probability : Misunderstandings, bridges and gaps
Didier Dubois, and Henri Prade Fuzzy Sets and Systems, 40, Elsevier, (March 1991)
to logic probabilistic reasoning by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
BibTeX (0)
Reasoning in Description Logics
F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf Principles of knowledge representation, (1997)
to logic description by neilernst and 3 other users on Sep 18, 2006, 6:26 AM
BibTeX (0)
TAMBIS--Transparent Access to Multiple Bioinformatics Information Sources
P. G. Baker, A. Brass, S. Bechhofer, C. Goble, N. Paton, and R. Stevens Int Conf Intelligent Systems for Molecular Biology, 6, page 25--34. Montreal, Canada, (June 1998)
to logic bioinformatics semantic by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | BibTeX (0)
Maintaining knowledge about temporal intervals
James F. Allen Commun. ACM 26(11):832--843 (November 1983)
to logic temporal by neilernst and 17 other users on Sep 18, 2006, 6:26 AM
URL | DOI | BibTeX (0)
FaCT and iFaCT
Ian Horrocks Proceedings of the International Workshop on (1999)
to logic classification description by neilernst and 2 other users on Sep 9, 2006, 7:18 PM
URL | BibTeX (0)
Fundamentals
H. Adeli Knowledge Engineering McGraw-Hill, New York, (1990)
to logic representation knowledge by neilernst on Mar 24, 2006, 4:34 PM
BibTeX (0)

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100