neilernst > logic | BibSonomy

publications (hide)44
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

4What 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)
16 years ago by @neilernst
show all tags
database
logic
databaselogic
(0)
copydeleteadd this publication to your clipboard
1Chaining techniques for automated theorem proving in finitely-valued logics
H. Ganzinger, and V. Sofronie-Stokkermans. Proceedings of the 30th Intl Symp. Multi-valued Logics, page 337--344. Portland, Oregon, IEEE Computer Society Press, (May 2000)
16 years ago by @neilernst
show all tags
logic
uncertainty
logicuncertainty
(0)
copydeleteadd this publication to your clipboard
1How a computer should think
N. Belnap. Entailment: The Logic of Relevance and Necessity, 2, Princeton University Press, (1992)
16 years ago by @neilernst
show all tags
logic
software
logicsoftware
(0)
copydeleteadd this publication to your clipboard
3A useful four-valued logic
N. Belnap. Modern Uses of Multiple-Valued Logic, Reidel Publishing Company, Boston, (1977)
16 years ago by @neilernst
show all tags
logic
logic
(0)
copydeleteadd this publication to your clipboard
1Automated Paraconsistent Reasoning via Model Checking
S. 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)
16 years ago by @neilernst
show all tags
Model
logic
reasoning
Modellogicreasoning
(0)
copydeleteadd this publication to your clipboard
1A Translation Method for Belnap Logic
O. Rodrigues, and A. Russo. Research Report, Doc 98/7. Imperial College London, (September 1998)
16 years ago by @neilernst
show all tags
logic
logic
(0)
copydeleteadd this publication to your clipboard
3Multivalued logics: A uniform approach to reasoning in artificial intelligence
M. Ginsberg. Computational Intelligence, (1988)
16 years ago by @neilernst
show all tags
ai
logic
ailogic
(0)
copydeleteadd this publication to your clipboard
9On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
P. Dung. Artificial Intelligence, 77 (2): 321--357 (1995)
18 years ago by @neilernst
show all tags
argumentation
games
logic
argumentationgameslogic
(0)
copydeleteadd this publication to your clipboard
14Intelligent Agents: Theory and Practice
M. Wooldridge, and N. Jennings. Knowledge Engineering Review, (1995)
18 years ago by @neilernst
show all tags
logic
agent
logicagent
(0)
copydeleteadd this publication to your clipboard
2Parts, wholes, and part-whole relations: the prospects of mereotopology
A. Varzi. Data Knowl. Eng., 20 (3): 259--286 (November 1996)
18 years ago by @neilernst
show all tags
logic
mereotopology
logicmereotopology
(0)
copydeleteadd this publication to your clipboard
1Introduction to the special issue on temporal information processing
I. Mani, J. Pustejovsky, and B. Sundheim. ACM Transactions on Asian Language Information Processing (TALIP), 3 (1): 1--10 (March 2004)
18 years ago by @neilernst
show all tags
logic
temporal
logictemporal
(0)
copydeleteadd this publication to your clipboard
1Logic Without Model Theory
R. Kowalski. What is a logical system?, Oxford University Press, New York, NY, USA, (1994)
18 years ago by @neilernst
show all tags
logic
theory
model
logictheorymodel
(0)
copydeleteadd this publication to your clipboard
2The INFOLOG linear tense propositional logic of events and transactions
J. Fiadeiro, and A. Sernadas. Information Systems, 11 (1): 61--85 (1986)
18 years ago by @neilernst
show all tags
logic
formal
model
requirements
temporal
logicformalmodelrequirementstemporal
(0)
copydeleteadd this publication to your clipboard
1A 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)
18 years ago by @neilernst
show all tags
logic
seminal
model
requirements
logicseminalmodelrequirements
(0)
copydeleteadd this publication to your clipboard
2Fuzzy sets and probability : Misunderstandings, bridges and gaps
D. Dubois, and H. Prade. Fuzzy Sets and Systems, 40, Elsevier, (March 1991)
18 years ago by @neilernst
show all tags
logic
probabilistic
reasoning
logicprobabilisticreasoning
(0)
copydeleteadd this publication to your clipboard
4Reasoning in Description Logics
F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of knowledge representation, (1997)
18 years ago by @neilernst
show all tags
logic
description
logicdescription
(0)
copydeleteadd this publication to your clipboard
2TAMBIS--Transparent Access to Multiple Bioinformatics Information Sources
P. 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)
18 years ago by @neilernst
show all tags
logic
bioinformatics
semantic
logicbioinformaticssemantic
(0)
copydeleteadd this publication to your clipboard
20Maintaining knowledge about temporal intervals
J. Allen. Commun. ACM, 26 (11): 832--843 (November 1983)
18 years ago by @neilernst
show all tags
logic
temporal
logictemporal
(0)
copydeleteadd this publication to your clipboard
3FaCT and iFaCT
I. Horrocks. Proceedings of the International Workshop on (1999)
18 years ago by @neilernst
show all tags
logic
classification
description
logicclassificationdescription
(0)
copydeleteadd this publication to your clipboard
1Fundamentals
H. Adeli. Knowledge Engineering McGraw-Hill, New York, (1990)
19 years ago by @neilernst
show all tags
logic
representation
knowledge
logicrepresentationknowledge
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩

BibSonomy

publications (hide)44
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

4What you always wanted to know about Datalog (and never dared to ask)

1Chaining techniques for automated theorem proving in finitely-valued logics

1How a computer should think

3A useful four-valued logic

1Automated Paraconsistent Reasoning via Model Checking

1A Translation Method for Belnap Logic

3Multivalued logics: A uniform approach to reasoning in artificial intelligence

9On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

14Intelligent Agents: Theory and Practice

2Parts, wholes, and part-whole relations: the prospects of mereotopology

1Introduction to the special issue on temporal information processing

1Logic Without Model Theory

2The INFOLOG linear tense propositional logic of events and transactions

1A knowledge representation language for requirements engineering

2Fuzzy sets and probability : Misunderstandings, bridges and gaps

4Reasoning in Description Logics

2TAMBIS--Transparent Access to Multiple Bioinformatics Information Sources

20Maintaining knowledge about temporal intervals

3FaCT and iFaCT

1Fundamentals

browse

related tags

concepts

tags

publications (hide)44 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

tags

publications (hide)44
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...