UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 141

Sortiert nach

Implementing shared decision-making on acute psychiatric wards: a cluster-randomized trial with inpatients suffering from schizophrenia (SDM-PLUS)

Epidemiology and psychiatric sciences, 2020-01, Vol.29, p.e137-e137, Article e137

2020

Link zum Volltext

Verfügbarkeit prüfen

ASP-Core-2 Input Language Format

Theory and practice of logic programming, 2020-03, Vol.20 (2), p.294-309

2020

Link zum Volltext

Verfügbarkeit prüfen

2022 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Cornell University Ithaca, NY, USA April 7–10, 2022

The bulletin of symbolic logic, 2022-12, Vol.28 (4), p.536-565

Zapletal, Jindrich

2022

Link zum Volltext

Verfügbarkeit prüfen

Anytime answer set optimization via unsatisfiable core shrinking

Theory and practice of logic programming, 2016-09, Vol.16 (5-6), p.533-551

2016

Link zum Volltext

Verfügbarkeit prüfen

2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 – June 9, 2023

The bulletin of symbolic logic, 2024-03, Vol.30 (1), p.94-139

D'Aquino, Paola

2024

Link zum Volltext

Verfügbarkeit prüfen

Flexible coinductive logic programming

Theory and practice of logic programming, 2020-11, Vol.20 (6), p.818-833

2020

Link zum Volltext

Verfügbarkeit prüfen

2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 2022

The bulletin of symbolic logic, 2022-12, Vol.28 (4), p.566-606

Sorbi, Andrea

2022

Link zum Volltext

Verfügbarkeit prüfen

Model enumeration in propositional circumscription via unsatisfiable core analysis

Theory and practice of logic programming, 2017-09, Vol.17 (5-6), p.708-725

ALVIANO, MARIO

2017

Link zum Volltext

Verfügbarkeit prüfen

RELATIVIZING OPERATIONAL SET THEORY

The bulletin of symbolic logic, 2016-09, Vol.22 (3), p.332-352

JÄGER, GERHARD

2016

Link zum Volltext

Verfügbarkeit prüfen

2020 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC: University of California, Irvine Irvine, California, USA March 25–28, 2020

The bulletin of symbolic logic, 2020-06, Vol.26 (2), p.172-201

Hirschfeldt, Denis R.

2020

Link zum Volltext

Verfügbarkeit prüfen

2016 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM '16, Leeds, UK, July 31-August 6, 2016

The bulletin of symbolic logic, 2017-06, Vol.23 (2), p.213-266

Iemhoff, Rosalie

2017

Link zum Volltext

Verfügbarkeit prüfen

2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 2023

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

Moosa, Rahim

2023

Link zum Volltext

Verfügbarkeit prüfen

2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '17 Stockholm, Sweden August 14–20, 2017

The bulletin of symbolic logic, 2018-06, Vol.24 (2), p.211-277

Džamonja, Mirna

2018

Link zum Volltext

Verfügbarkeit prüfen

2018 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Western Illinois University, Macomb, IL, USA May 16–19, 2018

The bulletin of symbolic logic, 2018-12, Vol.24 (4), p.493-525

Marker, David

2018

Link zum Volltext

Verfügbarkeit prüfen

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis

Theory and practice of logic programming, 2017-09, Vol.17 (5-6), p.780-799

2017

Link zum Volltext

Verfügbarkeit prüfen

Splitting Epistemic Logic Programs

Theory and practice of logic programming, 2021-05, Vol.21 (3), p.296-316

2021

Link zum Volltext

Verfügbarkeit prüfen

OutsideIn(X) Modular type inference with local assumptions

Journal of functional programming, 2011-09, Vol.21 (4-5), p.333-412

2011

Link zum Volltext

Verfügbarkeit prüfen

ADDITIVE BASES AND NIVEN NUMBERS

Bulletin of the Australian Mathematical Society, 2021-12, Vol.104 (3), p.373-380

SANNA, CARLO

2021

Link zum Volltext

Verfügbarkeit prüfen

Operating Room (Re)Scheduling with Bed Management via ASP

Theory and practice of logic programming, 2022-03, Vol.22 (2), p.229-253

2022

Link zum Volltext

Verfügbarkeit prüfen

Catching the Ouroboros: On debugging non-ground answer-set programs

Theory and practice of logic programming, 2010-07, Vol.10 (4-6), p.513-529

2010

Link zum Volltext

Verfügbarkeit prüfen

Cautious reasoning in ASP via minimal models and unsatisfiable cores

Theory and practice of logic programming, 2018-07, Vol.18 (3-4), p.319-336

2018

Link zum Volltext

Verfügbarkeit prüfen

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

Theory and practice of logic programming, 2020-09, Vol.20 (5), p.687-702

2020

Link zum Volltext

Verfügbarkeit prüfen

Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More

Theory and practice of logic programming, 2020-09, Vol.20 (5), p.609-624

2020

Link zum Volltext

Verfügbarkeit prüfen

Stable-unstable semantics: Beyond NP with normal logic programs

Theory and practice of logic programming, 2016-09, Vol.16 (5-6), p.570-586

2016

Link zum Volltext

Verfügbarkeit prüfen

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

Theory and practice of logic programming, 2018-07, Vol.18 (3-4), p.355-371

2018

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 141

Suche als RSS-Feed

Aktive Filter

Zeitschrift / SerieDatenbank-Spektrum : Zeitschrift Für Datenbanktechnologie : Organ Der Fachgruppe Datenbanken Der Gesellschaft Für Informatik E.V

PublikationsformReviews

KollektionCambridge Journals Online (DEFF)

KollektionEZB Electronic Journals Library

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(137)
Mit Volltextzugriff
(140)

Publikationsform

Artikel
(141)

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(113)
Computer Science
(85)
Technology
(83)
Computer Science, Software Engineering
(82)
Logic
(66)
Science & Technology - Other Topics
(62)
Computer Science, Theory & Methods
(59)
Regular Papers
(38)
Mathematics
(35)
Logic Programming
(34)
Physical Sciences
(27)
Answer Set Programming
(19)
Semantics
(18)
Algorithms
(14)
Mathematical Models
(12)
Algebra
(10)
Solvers
(10)
Mathematical Programming
(9)
Original Article
(9)
Programming
(8)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Free E-Journal (出版社公開部分のみ）
(141)
IngentaConnect
(48)
Jstor Complete Legacy
(12)
AUTh Library subscriptions: Project Euclid Complete
(12)
RCN full-text journals@Ovid
(8)
Nexis
(3)
MEDLINE
(2)
Now Publishers Journals
(1)

3 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

Implementing shared decision-making on acute psychiatric wards: a cluster-randomized trial with inpatients suffering from schizophrenia (SDM-PLUS)

ASP-Core-2 Input Language Format

2022 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Cornell University Ithaca, NY, USA April 7–10, 2022

Anytime answer set optimization via unsatisfiable core shrinking

2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 – June 9, 2023

Flexible coinductive logic programming

2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 2022

Model enumeration in propositional circumscription via unsatisfiable core analysis

RELATIVIZING OPERATIONAL SET THEORY

2020 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC: University of California, Irvine Irvine, California, USA March 25–28, 2020

2016 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM '16, Leeds, UK, July 31-August 6, 2016

2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 2023

2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '17 Stockholm, Sweden August 14–20, 2017

2018 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Western Illinois University, Macomb, IL, USA May 16–19, 2018

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis

Splitting Epistemic Logic Programs

OutsideIn(X) Modular type inference with local assumptions

ADDITIVE BASES AND NIVEN NUMBERS

Operating Room (Re)Scheduling with Bed Management via ASP

Catching the Ouroboros: On debugging non-ground answer-set programs

Cautious reasoning in ASP via minimal models and unsatisfiable cores

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More

Stable-unstable semantics: Beyond NP with normal logic programs

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

Aktive Filter

Suchergebnisse filtern