MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The New Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1,590 documents found, showing 1 through 10. Next 10 →

ATOM

The New Logic
by Dov Gabbay, John Woods — 2001
…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
by Ozan Kahramanogullar
…A New Logical Notion of Partial Order Planning Ozan Kahramano˘gulları Computer Science Institute…
Add To MetaCart

A New Logical Framework for Deductive Planning
by Werner Stephan, Susanne Biundo — 1993 — In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93
…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
by Olivier Coudert, Jean Christophe Madre
…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
by Paola Di Giacomo, Giovanni Felici, Riccardo Maceratini, Klaus Truemper — 2001
…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
by David Pearce — 1997 — In Proc. of NMELP 96, LNCS 1216
…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
by P. Mateus, A. Sernadas — Logics in Artificial Intelligence, Ninth European Conference, JELIA’04, volume 3229 of Lecture Notes in Artificial Intelligence
…. 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
by A. A. Morozov, Yu. V. Obukhov, Yu. V. Gulyaev — 1999 — in the World Wide Web, Proc. Special Russian Session “The Internet Development in Russia”, First IEEE/Popov Workshop on Internet Technol. and Services
… 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
by Michitaka Kameyama Members, Bate Onfloa-a, Summary A New
… Electronics and New System Paradigms Multiple-Valti Logic-in-Memory VLSI Architecture Bate onFloa-a Pa raLogic…
Add To MetaCart

Probabilistic Neighbourhood Logic
by Dimitar P. Guelev — 2000 — in the proceedings of the 6th International Symposium
… 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

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB