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
Revising System Specifications in Temporal Logic
Journal of logic, language, and information, 2022-12, Vol.31 (4), p.591-618
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On AGM for Non-Classical Logics
Journal of philosophical logic, 2011-04, Vol.40 (2), p.271-294
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Two AGM-style characterizations of model repair
Annals of mathematics and artificial intelligence, 2019-11, Vol.87 (3), p.233-257
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services
Computing, 2016-01, Vol.98 (1-2), p.73-92
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Local Change
Studia logica, 2002-02, Vol.70 (1), p.49-76
2002
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Generalized Change and the Meaning of Rationality Postulates
Studia logica, 2003-03, Vol.73 (2), p.299-319
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Resource Bounded Belief Revision
Erkenntnis, 1999-05, Vol.50 (2/3), p.429-446
1999
Link zum Volltext
Verfügbarkeit prüfen
1 – 7 von 7
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
Suchergebnisse filtern
Filter anzeigen