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

Introduction to structured argumentation

Argument & computation, 2014-01, Vol.5 (1), p.1-4

2014

Volltextzugriff (PDF)

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos

Journal of automated reasoning, 2022-11, Vol.66 (4), p.437-438

Bonacina, Maria Paola

2022

Volltextzugriff (PDF)

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

Journal of automated reasoning, 2014-02, Vol.52 (2), p.191-213

2014

Volltextzugriff (PDF)

A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column

Journal of automated reasoning, 2022-11, Vol.66 (4), p.575-584

2022

Volltextzugriff (PDF)

Towards an ecosystem for computer-supported geometric reasoning

International journal of mathematical education in science and technology, 2022-06, Vol.53 (7), p.1701-1710

2022

Volltextzugriff (PDF)

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice

Journal of automated reasoning, 2020-08, Vol.64 (6), p.1001-1050

2020

Volltextzugriff (PDF)

Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools

Mathematics (Basel), 2021-10, Vol.9 (20), p.2548

2021

Volltextzugriff (PDF)

Dealing with Degeneracies in Automated Theorem Proving in Geometry

Mathematics (Basel), 2021-08, Vol.9 (16), p.1964

2021

Volltextzugriff (PDF)

ATP and Presentation Service for Mizar Formalizations

Journal of automated reasoning, 2013-02, Vol.50 (2), p.229-241

2013

Volltextzugriff (PDF)

Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system

Journal of intelligent & fuzzy systems, 2018-01, Vol.34 (3), p.1777

2018

Volltextzugriff (PDF)

Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking

Automation in construction, 2017-01, Vol.73, p.45-57

2017

Volltextzugriff (PDF)

General form of α-resolution principle for linguistic truth-valued lattice-valued logic

Soft computing (Berlin, Germany), 2012-10, Vol.16 (10), p.1767-1781

2012

Volltextzugriff (PDF)

Trends and challenges in robot manipulation

Science (American Association for the Advancement of Science), 2019-06, Vol.364 (6446), p.1149

2019

Volltextzugriff (PDF)

Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets

Journal of automated reasoning, 2014, Vol.52 (1), p.1-29

2014

Volltextzugriff (PDF)

A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds

Journal of the ACM, 2024-07

2024

Volltextzugriff (PDF)

The architecture of a reasoning system for Defeasible Deontic Logic

Procedia computer science, 2023, Vol.225, p.4214-4224

2023

Volltextzugriff (PDF)

Contribution functions for quantitative bipolar argumentation graphs: A principle-based analysis

International journal of approximate reasoning, 2024-10, Vol.173, p.109255, Article 109255

2024

Volltextzugriff (PDF)

The ksmt calculus is a δ-complete decision procedure for non-linear constraints

Theoretical computer science, 2023-10, Vol.975, p.114125, Article 114125

2023

Volltextzugriff (PDF)

Simplification logic for the management of unknown information

Information sciences, 2023-07, Vol.634, p.505-519

2023

Volltextzugriff (PDF)

Logic-Based Explainability in Machine Learning

Reasoning Web. Causality, Explanations and Declarative Knowledge, 2023, Vol.13759, p.24-104

2023

Volltextzugriff (PDF)

Strong (D)QBF Dependency Schemes via Implication-free Resolution Paths

ACM transactions on computation theory, 2024-09

2024

Volltextzugriff (PDF)

15 Years of Consequence-Based Reasoning

Description Logic, Theory Combination, and All That, 2019, p.573-587

2019

Volltextzugriff (PDF)

Hypra: A Deductive Program Verifier for Hyper Hoare Logic

Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.1279-1308, Article 316

2024

Volltextzugriff (PDF)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ

Artificial intelligence, 2021-09, Vol.298, p.103518, Article 103518

2021

Volltextzugriff (PDF)

Universal (meta-)logical reasoning: Recent successes

Science of computer programming, 2019-03, Vol.172, p.48-62

Benzmüller, Christoph

2019

Volltextzugriff (PDF)

1 – 25 von 2.109

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(1.360)
Mit Volltextzugriff
(1.933)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

1 weiteren anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(1.402)
Computer Science
(1.239)
Technology
(1.235)
Automated Reasoning
(1.171)
Computer Science, Artificial Intelligence
(611)
Artificial Intelligence
(461)
Computer Science, Theory & Methods
(339)
Computer Science, Software Engineering
(297)
Automation
(275)
Algorithms
(254)
Logic
(249)
Engineering
(233)
Reasoning
(193)
Computer Science, Information Systems
(186)
Mathematics
(182)
Semantics
(169)
Theory Of Computation -- Logic -- Automated Reasoning
(167)
Cognition & Reasoning
(166)
Humans
(159)
Knowledge Representation
(154)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Ingenta
(665)
ACM Digital Library
(500)
SpringerLink
(472)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(422)
EZB Electronic Journals Library
(415)
Journals@Ovid Complete
(403)
IEEE
(344)
Elsevier ScienceDirect Journals Complete
(220)
MEDLINE
(189)
IngentaConnect Journals
(176)
Springer Book Series
(149)
EBSCOhost Business Source Ultimate
(109)
Ebook Central Perpetual and DDA
(99)
eBooks on EBSCOhost
(98)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(92)
Taylor & Francis Journals
(51)
JSTOR
(48)
Taylor & Francis:Master (3349 titles)
(47)
Taylor & Francis
(47)
Wiley-Blackwell Journals
(44)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Introduction to structured argumentation

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column

Towards an ecosystem for computer-supported geometric reasoning

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice

Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools

Dealing with Degeneracies in Automated Theorem Proving in Geometry

ATP and Presentation Service for Mizar Formalizations

Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system

Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking

General form of α-resolution principle for linguistic truth-valued lattice-valued logic

Trends and challenges in robot manipulation

Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets

A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds

The architecture of a reasoning system for Defeasible Deontic Logic

Contribution functions for quantitative bipolar argumentation graphs: A principle-based analysis

The ksmt calculus is a δ-complete decision procedure for non-linear constraints

Simplification logic for the management of unknown information

Logic-Based Explainability in Machine Learning

Strong (D)QBF Dependency Schemes via Implication-free Resolution Paths

15 Years of Consequence-Based Reasoning

Hypra: A Deductive Program Verifier for Hyper Hoare Logic

Pay-as-you-go consequence-based reasoning for the description logic SROIQ

Universal (meta-)logical reasoning: Recent successes

Suchergebnisse filtern