UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Propositional Independence - Formula-Variable Independence and Forgetting

The Journal of artificial intelligence research, 2003-01, Vol.18, p.391-443

2003

Volltextzugriff (PDF)

Arbitration (or how to merge knowledge bases)

IEEE transactions on knowledge and data engineering, 1998-01, Vol.10 (1), p.76-90

1998

Volltextzugriff (PDF)

A new gas-tight isobaric sampler for hydrothermal fluids

Deep-sea research. Part I, Oceanographic research papers, 2002, Vol.49 (1), p.189-196

2002

Volltextzugriff (PDF)

Redundancy in logic I: CNF propositional formulae

Artificial intelligence, 2005-04, Vol.163 (2), p.203-232

Liberatore, Paolo

2005

Volltextzugriff (PDF)

On the complexity of case-based planning

Journal of experimental & theoretical artificial intelligence, 2005-09, Vol.17 (3), p.283-295

Liberatore, P.

2005

Volltextzugriff (PDF)

Bijective faithful translations among default logics

Journal of logic and computation, 2014-08, Vol.24 (4), p.763-807

Liberatore, P.

2014

Volltextzugriff (PDF)

On Polynomial Sized MDP Succinct Policies

The Journal of artificial intelligence research, 2004-01, Vol.21, p.551-577

Liberatore, P.

2004

Volltextzugriff (PDF)

Uncontroversial Default Logic

Journal of logic and computation, 2004-10, Vol.14 (5), p.747-765

Liberatore, P.

2004

Volltextzugriff (PDF)

A Moored Profiling Instrument

Journal of atmospheric and oceanic technology, 1999-11, Vol.16 (11), p.1816-1829

1999

Volltextzugriff (PDF)

k-approximating circuits

IEEE transactions on computers, 2006-07, Vol.55 (7), p.913-917

2006

Volltextzugriff (PDF)

P90Occasional diagnosis in newborn of systemic venous return with unexpected persistence of vena cava upper left and absence of vena cava superior right - case report

Archives of disease in childhood, 2017-06, Vol.102 (Suppl 2), p.A68-A69

2017

Volltextzugriff (PDF)

Space Efficiency of Propositional Knowledge Representation Formalisms

The Journal of artificial intelligence research, 2000-01, Vol.13, p.1-31

2000

Volltextzugriff (PDF)

P90 Occasional diagnosis in newborn of systemic venous return with unexpected persistence of vena cava upper left and absence of vena cava superior right – case report

Archives of disease in childhood, 2017-06, Vol.102 (Suppl 2), p.A68-A69

2017

Volltextzugriff (PDF)

P104A case of allergic enterocolitis to milk protein in a down baby

Archives of disease in childhood, 2017-06, Vol.102 (Suppl 2), p.A74-A74

2017

Volltextzugriff (PDF)

P104 A case of allergic enterocolitis to milk protein in a down baby

Archives of disease in childhood, 2017-06, Vol.102 (Suppl 2), p.A74-A74

2017

Volltextzugriff (PDF)

On the complexity of choosing the branching literal in DPLL

Artificial intelligence, 2000, Vol.116 (1), p.315-326

Liberatore, Paolo

2000

Volltextzugriff (PDF)

Monotonic reductions, representative equivalence, and compilation of intractable problems

Journal of the ACM, 2001-11, Vol.48 (6), p.1091-1125

Liberatore, Paolo

2001

Volltextzugriff (PDF)

The complexity of belief update

Artificial intelligence, 2000-05, Vol.119 (1), p.141-190

Liberatore, Paolo

2000

Volltextzugriff (PDF)

A framework for belief update

Lecture notes in computer science, 2000, p.361-375

LIBERATORE, Paolo

2000

Volltextzugriff (PDF)

On the complexity of extension checking in default logic

Information processing letters, 2006-04, Vol.98 (2), p.61-65

Liberatore, Paolo

2006

Volltextzugriff (PDF)

Conditional independence in propositional logic

Artificial intelligence, 2002-10, Vol.141 (1), p.79-121

2002

Volltextzugriff (PDF)

Complexity and compilability of diagnosis and recovery of graph-based systems

International journal of intelligent systems, 2005-10, Vol.20 (10), p.1053-1076

Liberatore, Paolo

2005

Volltextzugriff (PDF)

The complexity of model checking for propositional default logics

Data & knowledge engineering, 2005-11, Vol.55 (2), p.189-202

2005

Volltextzugriff (PDF)

The Complexity of Action Redundancy

AIIA 2005: Advances in Artificial Intelligence, 2005, p.1-12

2005

Volltextzugriff (PDF)

Development of a sea-well facility for calibrating multibeam sonar

The Journal of the Acoustical Society of America, 2003-10, Vol.114 (4_Supplement), p.2307-2307

2003

Volltextzugriff (PDF)

1 – 25 von 337

Menü

Weitere Dienste

Einstellungen

Propositional Independence - Formula-Variable Independence and Forgetting

Arbitration (or how to merge knowledge bases)

A new gas-tight isobaric sampler for hydrothermal fluids

Redundancy in logic I: CNF propositional formulae

On the complexity of case-based planning

Bijective faithful translations among default logics

On Polynomial Sized MDP Succinct Policies

Uncontroversial Default Logic

A Moored Profiling Instrument

k-approximating circuits

P90Occasional diagnosis in newborn of systemic venous return with unexpected persistence of vena cava upper left and absence of vena cava superior right - case report

Space Efficiency of Propositional Knowledge Representation Formalisms

P90 Occasional diagnosis in newborn of systemic venous return with unexpected persistence of vena cava upper left and absence of vena cava superior right – case report

P104A case of allergic enterocolitis to milk protein in a down baby

P104 A case of allergic enterocolitis to milk protein in a down baby

On the complexity of choosing the branching literal in DPLL

Monotonic reductions, representative equivalence, and compilation of intractable problems

The complexity of belief update

A framework for belief update

On the complexity of extension checking in default logic

Conditional independence in propositional logic

Complexity and compilability of diagnosis and recovery of graph-based systems

The complexity of model checking for propositional default logics

The Complexity of Action Redundancy

Development of a sea-well facility for calibrating multibeam sonar

Suchergebnisse filtern