Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
1994
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hierarchical default logic
Symbolic and Quantitative Approaches to Uncertainty, 2005, p.246-253
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Knowledge without modality: A simplified framework for chronological ignorance
Logics in AI, 2005, p.25-35
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Adding priorities and specificity to default logic
Logics in Artificial Intelligence, 2005, p.247-260
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the logic of theory base change
Logics in Artificial Intelligence, 2005, p.86-105
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Efficient strategies for Automated reasoning in modal logics
Logics in Artificial Intelligence, 2005, p.182-197
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Temporal theories of reasoning
Logics in Artificial Intelligence, 2005, p.279-299
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Revision specifications by means of programs
Logics in Artificial Intelligence, 2005, p.122-136
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
How to use modalities and sorts in Prolog
Logics in Artificial Intelligence, 2005, p.365-378
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A complete connection calculus with rigid E-unification
Logics in Artificial Intelligence, 2005, p.152-166
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reasoning about knowledge on computation trees
Logics in Artificial Intelligence, 2005, p.300-315
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Compactness properties of nonmonotonic inference operations
Logics in Artificial Intelligence, 2005, p.19-33
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Description Logics with inverse roles, functional restrictions, and n-ary relations
Logics in Artificial Intelligence, 2005, p.332-346
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Extending Horn clause theories by reflection principles
Logics in Artificial Intelligence, 2005, p.400-413
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Revision of non-monotonic theories: Some postulates and an application to logic programming
Logics in Artificial Intelligence, 2005, p.137-151
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Prioritized autoepistemic logic
Logics in Artificial Intelligence, 2005, p.232-246
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Belief dynamics, abduction, and databases
Logics in Artificial Intelligence, 2005, p.66-85
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
TAS-D++: Syntactic trees transformations for Automated Theorem Proving
Logics in Artificial Intelligence, 2005, p.198-216
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Viewing hypothesis theories as constrained graded theories
Logics in Artificial Intelligence, 2005, p.261-278
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Belief, provability, and logic programs
Logics in Artificial Intelligence, 2005, p.106-121
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards resource handling in logic programming: The PPL framework and its semantics
Logics in Artificial Intelligence, 2005, p.379-399
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the concept of generic object: A nonmonotonic reasoning approach and examples
Logics in Artificial Intelligence, 2005, p.347-363
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A unification of ordering refinements of resolution in classical logic
Logics in Artificial Intelligence, 2005, p.217-230
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
From Carnap's modal logic to autoepistemic logic
Logics in Artificial Intelligence, 2005, p.1-18
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Equality and constrained resolution
Logics in Artificial Intelligence, 2005, p.167-181
2005
Volltextzugriff (PDF)
1 – 25 von 33
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen