Amanote Research
Register
Sign In
Normal Form Results for Default Logic
doi 10.1007/bfb0030398
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
V. Wiktor Marek
Mirosław Truszczyński
Publisher
Springer-Verlag
Related search
FPGA Logic Element for Implementation of Disjunctive Normal Form
Izvestiâ vysših učebnyh zavedenij. Priborostroenie
Uncontroversial Default Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A General View on Normal Form Theorems for Łukasiewicz Logic With Product
Default Logic for Diagnostic of Discrete Time System
Proof Complexity of Propositional Default Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Complexity of Propositional Default Logic
Archive for Mathematical Logic
Philosophy
Logic
Reasoning by Cases in Default Logic
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Logic Programs With Functions and Default Values
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Normal Form for a Pfaffian
Pacific Journal of Mathematics
Mathematics
