UB Paderborn / Katalog / Suche / in CDI

On the logic of theory change: iteration of expansion

Journal of the Brazilian Computer Society, 2018-07, Vol.24 (1), p.1-9, Article 8

2018

Volltextzugriff (PDF)

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings

1st Edition 2021, 2021

Volltextzugriff (PDF)

Preface to special issue: LSFA 2017 and 2018

Mathematical structures in computer science, 2021-03, Vol.31 (3), p.255-256

2021

Volltextzugriff (PDF)

Revising System Specifications in Temporal Logic

Journal of logic, language, and information, 2022-12, Vol.31 (4), p.591-618

2022

Volltextzugriff (PDF)

28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 2021

The bulletin of symbolic logic, 2023-12, Vol.29 (4), p.725-725

2023

Volltextzugriff (PDF)

On AGM for Non-Classical Logics

Journal of philosophical logic, 2011-04, Vol.40 (2), p.271-294

Wassermann, Renata

2011

Volltextzugriff (PDF)

Horn Clause Contraction Functions

The Journal of artificial intelligence research, 2013, Vol.48, p.475-511

2013

Volltextzugriff (PDF)

Partial meet pseudo-contractions

International journal of approximate reasoning, 2018-12, Vol.103, p.11-27

2018

Volltextzugriff (PDF)

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

2021

Volltextzugriff (PDF)

Minimal change: Relevance and recovery revisited

Artificial intelligence, 2013-08, Vol.201, p.59-80

2013

Volltextzugriff (PDF)

A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services

Computing, 2016-01, Vol.98 (1-2), p.73-92

2016

Volltextzugriff (PDF)

Hyperintensional Models and Belief Change

Intelligent Systems, 2022, Vol.13653, p.429-443

2022

Volltextzugriff (PDF)

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

The Journal of artificial intelligence research, 2011-01, Vol.42, p.31-53

2011

Volltextzugriff (PDF)

Base Revision for Ontology Debugging

Journal of logic and computation, 2009-10, Vol.19 (5), p.721-743

2009

Volltextzugriff (PDF)

The universe of propositional approximations: Logic, language, information and computation

Theoretical computer science, 2006, Vol.355 (2), p.153-166

2006

Volltextzugriff (PDF)

Revision of CTL Models

Advances in Artificial Intelligence – IBERAMIA 2010, p.153-162

Volltextzugriff (PDF)

Local Change

Studia logica, 2002-02, Vol.70 (1), p.49-76

2002

Volltextzugriff (PDF)

The universe of propositional approximations

Theoretical computer science, 2006-04, Vol.355 (2), p.153-166

2006

Volltextzugriff (PDF)

Revising Specifications with CTL Properties Using Bounded Model Checking

Advances in Artificial Intelligence - SBIA 2008, p.157-166

Volltextzugriff (PDF)

Generalized Change and the Meaning of Rationality Postulates

Studia logica, 2003-03, Vol.73 (2), p.299-319

Wassermann, Renata

2003

Volltextzugriff (PDF)

Local Diagnosis

Journal of applied non-classical logics, 2001-01, Vol.11 (1-2), p.107-129

Wassermann, Renata

2001

Volltextzugriff (PDF)

Iterated Belief Change the Case of Expansion Into Inconsistency

2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017, p.420-425

2017

Volltextzugriff (PDF)

Resource Bounded Belief Revision

Erkenntnis, 1999-05, Vol.50 (2/3), p.429-446

Wassermann, Renata

1999

Volltextzugriff (PDF)

Using Relevance to Speed Up Inference: Some Empirical Results

Advances in Artificial Intelligence – SBIA 2004, 2004, p.21-30

2004

Volltextzugriff (PDF)

Anytime Approximations of Classical Logic from Above

Journal of logic and computation, 2007-02, Vol.17 (1), p.53-82

2007

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

On the logic of theory change: iteration of expansion

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings

Preface to special issue: LSFA 2017 and 2018

Revising System Specifications in Temporal Logic

28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 2021

On AGM for Non-Classical Logics

Horn Clause Contraction Functions

Partial meet pseudo-contractions

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

Minimal change: Relevance and recovery revisited

A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services

Hyperintensional Models and Belief Change

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Base Revision for Ontology Debugging

The universe of propositional approximations: Logic, language, information and computation

Revision of CTL Models

Local Change

The universe of propositional approximations

Revising Specifications with CTL Properties Using Bounded Model Checking

Generalized Change and the Meaning of Rationality Postulates

Local Diagnosis

Iterated Belief Change the Case of Expansion Into Inconsistency

Resource Bounded Belief Revision

Using Relevance to Speed Up Inference: Some Empirical Results

Anytime Approximations of Classical Logic from Above

Aktive Filter

Suchergebnisse filtern