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...

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Theory and Applications of Satisfiability Testing – SAT 2016, p.228-245

Volltextzugriff (PDF)

Working with Zdzislaw Pawlak – Personal Reminiscences

Annals of Computer Science and Information Systems, 2016, Vol.8, p.189-190

Victor Marek

2016

Volltextzugriff (PDF)

Ultimate approximation and its application in nonmonotonic knowledge representation systems

Information and computation, 2004-07, Vol.192 (1), p.84-121

2004

Volltextzugriff (PDF)

Logic programs with monotone abstract constraint atoms

Theory and practice of logic programming, 2008-03, Vol.8 (2), p.167-199

2008

Volltextzugriff (PDF)

Collating time-series resource data for system-wide job profiling

IEEE/IFIP Network Operations and Management Symposium, 2016, p.1043-1048

2016

Volltextzugriff (PDF)

Set constraints in logic programming

Lecture notes in computer science, 2004, p.167-179

2004

Volltextzugriff (PDF)

Answer Set Programming Modulo Acyclicity

Fundamenta informaticae, 2016-01, Vol.147 (1), p.63-91

2016

Volltextzugriff (PDF)

Shift Design with Answer Set Programming

Fundamenta informaticae, 2016-01, Vol.147 (1), p.1-25

2016

Volltextzugriff (PDF)

Bruno Woltzenlogel Paleo. All about Proofs, Proofs for All

Theory and practice of logic programming, 2016-03, Vol.16 (2), p.236-241

Marek, Victor W

2016

Volltextzugriff (PDF)

Logic programs with monotone cardinality atoms

Lecture notes in computer science, 2004, p.154-166

2004

Volltextzugriff (PDF)

Towards Deriving Conclusions from Cause-effect Relations

Fundamenta informaticae, 2016-01, Vol.147 (1), p.93-131

2016

Volltextzugriff (PDF)

D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy

Fundamenta informaticae, 2016-11, Vol.147 (1), p.27-61

2016

Volltextzugriff (PDF)

Preface

Fundamenta informaticae, 2016-11, Vol.147 (1), p.v-vii

2016

Volltextzugriff (PDF)

Local Large Language Models for Complex Structured Tasks

AMIA Summits on Translational Science proceedings, 2024, Vol.2024, p.105-114

2024

Volltextzugriff (PDF)

Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw Pawlak, Part II

2007th edition, 2007

Volltextzugriff (PDF)

Logic Programming with Graded Introspection

Fundamenta informaticae, 2016-01, Vol.147 (1), p.133-158

2016

Volltextzugriff (PDF)

Computing with default logic

Artificial intelligence, 1999-08, Vol.112 (1-2), p.105-146

1999

Volltextzugriff (PDF)

Constraint Lingo: towards high-level constraint programming

Software, practice & experience, 2004-12, Vol.34 (15), p.1481-1504

2004

Volltextzugriff (PDF)

Rough Sets and Matroids

Transactions on Rough Sets XVII, p.74-81

Volltextzugriff (PDF)

Cresco: A distributed agent-based edge computing framework

Proceedings of the 12th Conference on International Conference on Network and Service Management, 2016, p.400-405

2016

Volltextzugriff (PDF)

On the expressibility of stable logic programming

Theory and practice of logic programming, 2003-07, Vol.3 (4-5), p.551-567

2003

Volltextzugriff (PDF)

Toward Automating the Discovery of Decreasing Measures

Journal of automated reasoning, 2005-11, Vol.35 (4), p.355-371

2005

Volltextzugriff (PDF)

Logic programming with infinite sets

Annals of mathematics and artificial intelligence, 2005-08, Vol.44 (4), p.309-339

2005

Volltextzugriff (PDF)

Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems

Lecture notes in computer science, 2002, p.513-516

2002

Volltextzugriff (PDF)

Logic in Poland after 1945 (until 1975)

European review (Chichester, England), 2015-02, Vol.23 (1), p.159-171

2015

Volltextzugriff (PDF)

1 – 25 von 457

Menü

Weitere Dienste

Einstellungen

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Working with Zdzislaw Pawlak – Personal Reminiscences

Ultimate approximation and its application in nonmonotonic knowledge representation systems

Logic programs with monotone abstract constraint atoms

Collating time-series resource data for system-wide job profiling

Set constraints in logic programming

Answer Set Programming Modulo Acyclicity

Shift Design with Answer Set Programming

Bruno Woltzenlogel Paleo. All about Proofs, Proofs for All

Logic programs with monotone cardinality atoms

Towards Deriving Conclusions from Cause-effect Relations

D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy

Preface

Local Large Language Models for Complex Structured Tasks

Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw Pawlak, Part II

Logic Programming with Graded Introspection

Computing with default logic

Constraint Lingo: towards high-level constraint programming

Rough Sets and Matroids

Cresco: A distributed agent-based edge computing framework

On the expressibility of stable logic programming

Toward Automating the Discovery of Decreasing Measures

Logic programming with infinite sets

Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems

Logic in Poland after 1945 (until 1975)

Suchergebnisse filtern