neilernst > logic | BibSonomy

закладки (спрятать)
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

Нет подходящих.

&lang;&lang;
⟨
&rang;
⟩⟩

публикации (спрятать)44
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

4What you always wanted to know about Datalog (and never dared to ask)
S. Ceri, G. Gottlob, и L. Tanca. IEEE Transactions on Knowledge and Data Engineering, 1 (1): 146-166 (марта 1989)
16 лет назад , @neilernst
database
logic
databaselogic
(0)
копироватьудалитьдобавить публикацию в буфер
1Chaining techniques for automated theorem proving in finitely-valued logics
H. Ganzinger, и V. Sofronie-Stokkermans. Proceedings of the 30th Intl Symp. Multi-valued Logics, стр. 337--344. Portland, Oregon, IEEE Computer Society Press, (мая 2000)
16 лет назад , @neilernst
logic
uncertainty
logicuncertainty
(0)
копироватьудалитьдобавить публикацию в буфер
1How a computer should think
N. Belnap. Entailment: The Logic of Relevance and Necessity, 2, Princeton University Press, (1992)
16 лет назад , @neilernst
logic
software
logicsoftware
(0)
копироватьудалитьдобавить публикацию в буфер
3A useful four-valued logic
N. Belnap. Modern Uses of Multiple-Valued Logic, Reidel Publishing Company, Boston, (1977)
16 лет назад , @neilernst
logic
logic
(0)
копироватьудалитьдобавить публикацию в буфер
1Automated Paraconsistent Reasoning via Model Checking
S. Easterbrook, и M. Chechik. First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference on Artificial Intelligence, (IJCAI-01), Seattle, USA, (августа 2001)
16 лет назад , @neilernst
Model
logic
reasoning
Modellogicreasoning
(0)
копироватьудалитьдобавить публикацию в буфер
1A Translation Method for Belnap Logic
O. Rodrigues, и A. Russo. Research Report, Doc 98/7. Imperial College London, (сентября 1998)
16 лет назад , @neilernst
logic
logic
(0)
копироватьудалитьдобавить публикацию в буфер
3Multivalued logics: A uniform approach to reasoning in artificial intelligence
M. Ginsberg. Computational Intelligence, (1988)
16 лет назад , @neilernst
ai
logic
ailogic
(0)
копироватьудалитьдобавить публикацию в буфер
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 лет назад , @neilernst
argumentation
games
logic
argumentationgameslogic
(0)
копироватьудалитьдобавить публикацию в буфер
14Intelligent Agents: Theory and Practice
M. Wooldridge, и N. Jennings. Knowledge Engineering Review, (1995)
18 лет назад , @neilernst
logic
agent
logicagent
(0)
копироватьудалитьдобавить публикацию в буфер
2Parts, wholes, and part-whole relations: the prospects of mereotopology
A. Varzi. Data Knowl. Eng., 20 (3): 259--286 (ноября 1996)
18 лет назад , @neilernst
logic
mereotopology
logicmereotopology
(0)
копироватьудалитьдобавить публикацию в буфер
1Introduction to the special issue on temporal information processing
I. Mani, J. Pustejovsky, и B. Sundheim. ACM Transactions on Asian Language Information Processing (TALIP), 3 (1): 1--10 (марта 2004)
18 лет назад , @neilernst
logic
temporal
logictemporal
(0)
копироватьудалитьдобавить публикацию в буфер
1Logic Without Model Theory
R. Kowalski. What is a logical system?, Oxford University Press, New York, NY, USA, (1994)
18 лет назад , @neilernst
logic
theory
model
logictheorymodel
(0)
копироватьудалитьдобавить публикацию в буфер
2The INFOLOG linear tense propositional logic of events and transactions
J. Fiadeiro, и A. Sernadas. Information Systems, 11 (1): 61--85 (1986)
18 лет назад , @neilernst
logic
formal
model
requirements
temporal
logicformalmodelrequirementstemporal
(0)
копироватьудалитьдобавить публикацию в буфер
1A knowledge representation language for requirements engineering
E. Dubois, J. Hagelstein, E. Lahou, F. Ponsaert, и A. Rifaut. Proceedings of the IEEE, 74 (10): 1431--1444 (1986)
18 лет назад , @neilernst
logic
seminal
model
requirements
logicseminalmodelrequirements
(0)
копироватьудалитьдобавить публикацию в буфер
2Fuzzy sets and probability : Misunderstandings, bridges and gaps
D. Dubois, и H. Prade. Fuzzy Sets and Systems, 40, Elsevier, (марта 1991)
18 лет назад , @neilernst
logic
probabilistic
reasoning
logicprobabilisticreasoning
(0)
копироватьудалитьдобавить публикацию в буфер
4Reasoning in Description Logics
F. Donini, M. Lenzerini, D. Nardi, и A. Schaerf. Principles of knowledge representation, (1997)
18 лет назад , @neilernst
logic
description
logicdescription
(0)
копироватьудалитьдобавить публикацию в буфер
2TAMBIS--Transparent Access to Multiple Bioinformatics Information Sources
P. Baker, A. Brass, S. Bechhofer, C. Goble, N. Paton, и R. Stevens. Int Conf Intelligent Systems for Molecular Biology, 6, стр. 25--34. Montreal, Canada, (июня 1998)
18 лет назад , @neilernst
logic
bioinformatics
semantic
logicbioinformaticssemantic
(0)
копироватьудалитьдобавить публикацию в буфер
20Maintaining knowledge about temporal intervals
J. Allen. Commun. ACM, 26 (11): 832--843 (ноября 1983)
18 лет назад , @neilernst
logic
temporal
logictemporal
(0)
копироватьудалитьдобавить публикацию в буфер
3FaCT and iFaCT
I. Horrocks. Proceedings of the International Workshop on (1999)
18 лет назад , @neilernst
logic
classification
description
logicclassificationdescription
(0)
копироватьудалитьдобавить публикацию в буфер
1Fundamentals
H. Adeli. Knowledge Engineering McGraw-Hill, New York, (1990)
19 лет назад , @neilernst
logic
representation
knowledge
logicrepresentationknowledge
(0)
копироватьудалитьдобавить публикацию в буфер

&lang;&lang;
⟨
1
2
3
&rang;
⟩⟩

BibSonomy

закладки (спрятать)
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

публикации (спрятать)44
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

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

просмотр

сходные по теме тэги

концепции

тэги

закладки (спрятать) показатьвсётолько закладкизакладки на страницу5102050100 RSSBibTeXXML

публикации (спрятать)44 показатьвсётолько публикациипубликации на страницу5102050100 расширенный... RSSBibTeXRDFдальше...

просмотр

сходные по теме тэги

тэги

закладки (спрятать)
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

публикации (спрятать)44
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...