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

Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques

Pettorossi, Alberto

1, 2022

Volltextzugriff (PDF)

Techniques for Searching, Parsing, and Matching

Pettorossi, Alberto

1, 2022

Volltextzugriff (PDF)

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Pettorossi, Alberto

1, 2002

Volltextzugriff (PDF)

Meta-Programming in Logic: Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings

1992

Volltextzugriff (PDF)

Learning in Description Logics with Fuzzy Concrete Domains

Fundamenta informaticae, 2015-09, Vol.140 (3-4), p.373-391

2015

Volltextzugriff (PDF)

Commitment-based Agent Interaction in JaCaMo

Fundamenta informaticae, 2018-01, Vol.159 (1-2), p.1-33

2018

Volltextzugriff (PDF)

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning

Fundamenta informaticae, 2018-01, Vol.161 (1-2), p.75-111

2018

Volltextzugriff (PDF)

A Theoretical Perspective of Coinductive Logic Programming

Fundamenta informaticae, 2015-09, Vol.140 (3-4), p.221-246

2015

Volltextzugriff (PDF)

Extending Logic Programming with Labelled Variables: Model and Semantics

Fundamenta informaticae, 2018-01, Vol.161 (1-2), p.53-74

2018

Volltextzugriff (PDF)

lpopt: A Rule Optimization Tool for Answer Set Programming

Fundamenta informaticae, 2020, Vol.177 (3-4), p.275-296

2020

Volltextzugriff (PDF)

Abstract Contract Synthesis and Verification in the Symbolic Framework

Fundamenta informaticae, 2020-12, Vol.177 (3-4), p.235-273

2020

Volltextzugriff (PDF)

Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.297-329

2020

Volltextzugriff (PDF)

Preface

Fundamenta informaticae, 2020-12, Vol.177 (3-4), p.i-iii

2020

Volltextzugriff (PDF)

Dynamic Slicing for Concurrent Constraint Languages

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.331-357

2020

Volltextzugriff (PDF)

Defeasible Reasoning in ℛ ℰℒ: from Rational Entailment to Rational Closure

Fundamenta informaticae, 2018-07, Vol.161 (1-2), p.135-161

2018

Volltextzugriff (PDF)

Preface

Fundamenta informaticae, 2018-07, Vol.161 (1-2), p.v-vii

2018

Volltextzugriff (PDF)

An introduction to partial deduction

Meta-Programming in Logic, 2005, p.49-69

2005

Volltextzugriff (PDF)

ASP Based Generation of Information Terms for Constructive ɛℒ

Fundamenta informaticae, 2018, Vol.161 (1-2), p.29-51

2018

Volltextzugriff (PDF)

Constraint Logic Programming with Polynomial Constraints over Finite Domains

Fundamenta informaticae, 2018-01, Vol.161 (1-2), p.9-27

2018

Volltextzugriff (PDF)

A Comparative Test on the Enumeration of Extensions in Abstract Argumentation

Fundamenta informaticae, 2015-09, Vol.140 (3-4), p.263-278

2015

Volltextzugriff (PDF)

Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach

Fundamenta informaticae, 2018-01, Vol.161 (1-2), p.163-189

2018

Volltextzugriff (PDF)

Logic-based Verification of the Distributed Dining Philosophers Protocol

Fundamenta informaticae, 2018-01, Vol.161 (1-2), p.113-133

2018

Volltextzugriff (PDF)

Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4

Fundamenta informaticae, 2018-01, Vol.161 (1-2), p.191-218

2018

Volltextzugriff (PDF)

From Constructivism to Logic Programming: an Homage to Mario Ornaghi

Fundamenta informaticae, 2018-01, Vol.161 (1-2), p.1-7

2018

Volltextzugriff (PDF)

Selective Unification in (Constraint) Logic Programming

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.359-383

2020

Volltextzugriff (PDF)

1 – 25 von 575

Suche als RSS-Feed

Aktive Filter

Zeitschrift / SerieNeuroscience

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(440)
Mit Volltextzugriff
(428)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(297)
Life Sciences & Biomedicine
(172)
Computer Science
(124)
Technology
(120)
Animals
(103)
Neurosciences & Neurology
(81)
Neurosciences
(80)
Computer Science, Software Engineering
(77)
Computer Science, Theory & Methods
(63)
Humans
(62)
Dentistry, Oral Surgery & Medicine
(56)
Male
(49)
Biological And Medical Sciences
(48)
Mathematics
(45)
Physical Sciences
(44)
Logic Programming
(41)
Mathematics, Applied
(41)
Space Life Sciences
(41)
Logic Program
(37)
Fundamental And Applied Biological Sciences. Psychology
(35)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(3)
... seit 90 Tagen
(7)

Menü

Weitere Dienste

Einstellungen

Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques

Techniques for Searching, Parsing, and Matching

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Meta-Programming in Logic: Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings

Learning in Description Logics with Fuzzy Concrete Domains

Commitment-based Agent Interaction in JaCaMo

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning

A Theoretical Perspective of Coinductive Logic Programming

Extending Logic Programming with Labelled Variables: Model and Semantics

lpopt: A Rule Optimization Tool for Answer Set Programming

Abstract Contract Synthesis and Verification in the Symbolic Framework

Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms

Preface

Dynamic Slicing for Concurrent Constraint Languages

Defeasible Reasoning in ℛ ℰℒ: from Rational Entailment to Rational Closure

Preface

An introduction to partial deduction

ASP Based Generation of Information Terms for Constructive ɛℒ

Constraint Logic Programming with Polynomial Constraints over Finite Domains

A Comparative Test on the Enumeration of Extensions in Abstract Argumentation

Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach

Logic-based Verification of the Distributed Dining Philosophers Protocol

Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4

From Constructivism to Logic Programming: an Homage to Mario Ornaghi

Selective Unification in (Constraint) Logic Programming

Aktive Filter

Suchergebnisse filtern