The following pages link to Applied Logic Series (Q232650):
Displayed 35 items.
- Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath (Q701700) (← links)
- Rigid flexibility. The logic of intelligence. (Q869480) (← links)
- Fuzzy sets, logics and reasoning about knowledge (Q1125582) (← links)
- Foundations of rational agency (Q1288038) (← links)
- Dynamic worlds. From the frame problem to knowledge management (Q1288656) (← links)
- Fallacies arising from ambiguity (Q1379285) (← links)
- Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996 (Q1379286) (← links)
- Multi-dimensional modal logic (Q1379287) (← links)
- Logic, language and computation (Q1379288) (← links)
- Proof theory and automated deduction (Q1379289) (← links)
- Advances in intensional logic (Q1379290) (← links)
- Labelled deduction. Based on the 1st international workshop, LD'98, Freiburg, Germany, September 1998 (Q1569735) (← links)
- Automated deduction. A basis for applications. Vol. III: Applications (Q1581357) (← links)
- Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods (Q1581358) (← links)
- Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques (Q1581359) (← links)
- Formal aspects of context. 1st international and interdisciplinary conference on modelling and using context, Rio de Janeiro, Brazil, January 1997 (Q1582990) (← links)
- What is negation? (Q1594817) (← links)
- Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993 (Q1815557) (← links)
- An introduction to mathematical logic and type theory: To truth through proof. (Q1847766) (← links)
- A modern perspective on type theory. From its origins until today (Q1887432) (← links)
- Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997 (Q1961607) (← links)
- A textbook of belief dynamics. Theory change and database updating (Q1977408) (← links)
- Analysis and synthesis of logics. How to cut and paste reasoning systems (Q2469685) (← links)
- Inference on the low level. An investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition (Q2487868) (← links)
- Reasoning robots. The art and science of programming robotic agents (Q2487869) (← links)
- Automated model building (Q2487870) (← links)
- The semantics and proof theory of the logic of bunched implications (Q2487871) (← links)
- Proof theory for fuzzy logics (Q2519539) (← links)
- Abduction and induction. Essays on their relation and integration (Q5956943) (← links)
- Intellectics and computational logic. Papers in honor of Wolfgang Bibel (Q5956944) (← links)
- Goal-directed proof theory (Q5956945) (← links)
- Frontiers in belief revision (Q5956946) (← links)
- New essays in free logic. In honour of Karel Lambert (Q5956947) (← links)
- Foundations of Bayesianism (Q5956948) (← links)
- Hybrid logic and its proof-theory (Q5961845) (← links)