Searching for "The New Logic." – sorted by Relevance.
-
The New Logic
- The New Logic DOV GABBAY, Department of Computer Science, King’s College, Strand, London, ENGLAND
- Cited by 148 (10 self) – Add To MetaCart
-
A New Logical Notion of Partial Order Planning
- A New Logical Notion of Partial Order Planning Ozan Kahramano˘gulları Computer Science Institute
- Add To MetaCart
-
A New Logical Framework for Deductive Planning
- A New Logical Framework for Deductive Planning Werner Stephan and Susanne Biundo German
- Cited by 21 (4 self) – Add To MetaCart
-
Application of a New Logically Complete ATMS to Digraph and Network Connectivity Analysis
- Application of a New Logically Complete ATMS to Digraph and Network Connectivity Analysis Olivier
- Cited by 1 (0 self) – Add To MetaCart
-
Application of a New Logic Domain Method for the Diagnosis of Hepatocellular Carcinoma
- Application of a new logic domain method for the diagnosis of hepatocellular carcinoma Paola Di
- Add To MetaCart
-
A New Logical Characterisation of Stable Models and Answer Sets
- A New Logical Characterisation of Stable Models and Answer Sets David Pearce German Research
- Cited by 26 (10 self) – Add To MetaCart
-
Reasoning about Quantum Systems
- . Rovisco Pais, 1000-149 Lisbon, Portugal Abstract. A new logic is proposed for reasoning about quantum
- Cited by 14 (9 self) – Add To MetaCart
-
On the Problem of Using Logic Object-Oriented Programming in the World Wide Web
- new logical model and language to solve this problem. In the first section of the paper we consider
- Cited by 3 (3 self) – Add To MetaCart
-
Multiple-Valti Logic-in-Memory VLSI Architecture Bate onFloa-a Pa raLogic Takahiro HANo
- Electronics and New System Paradigms Multiple-Valti Logic-in-Memory VLSI Architecture Bate onFloa-a Pa raLogic
- Add To MetaCart
-
Probabilistic Neighbourhood Logic
- between the new logic and PDC is similar to that between DC [ZHR91] and ITL [Mos85, Dut95]. We present a
- Cited by 7 (2 self) – Add To MetaCart

