active logic Latest Research Papers

Extended Stepping Theories of Active Logic: Declarative Semantics

Communications in Computer and Information Science - Artificial Intelligence ◽

10.1007/978-3-030-30763-9_9 ◽

2019 ◽

pp. 105-114

Author(s):

Michael Vinkov ◽

Igor Fominykh

Keyword(s):

Declarative Semantics ◽

Active Logic

Download Full-text

Control of the Cognitive Process in Hard Real-Time Environment in the Context of the Extended Stepping Theories of Active Logic

Advances in Intelligent Systems and Computing - Proceedings of the Third International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’18) ◽

10.1007/978-3-030-01818-4_23 ◽

2018 ◽

pp. 235-243

Author(s):

Michael Vinkov ◽

Igor Fominykh ◽

Sergey Romanchuk

Keyword(s):

Real Time ◽

Cognitive Process ◽

Hard Real Time ◽

Active Logic

Download Full-text

Extended Stepping Theories of Active Logic: Paraconsistent Semantics

Communications in Computer and Information Science - Artificial Intelligence ◽

10.1007/978-3-030-00617-4_7 ◽

2018 ◽

pp. 70-78 ◽

Cited By ~ 2

Author(s):

Michael Vinkov ◽

Igor Fominykh

Keyword(s):

Active Logic

Download Full-text

Step Theories of Active Logic and Extended Logical Programs

Advances in Intelligent Systems and Computing - Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17) ◽

10.1007/978-3-319-68321-8_20 ◽

2017 ◽

pp. 192-201 ◽

Cited By ~ 2

Author(s):

Igor Fominykh ◽

Michael Vinkov

Keyword(s):

Active Logic

Download Full-text

Stepping Theories of Active Logic with Two Kinds of Negation

Advances in Electrical and Electronic Engineering ◽

10.15598/aeee.v15i1.1990 ◽

2017 ◽

Vol 15 (1) ◽

Cited By ~ 2

Author(s):

Mikhail M. Vinkov ◽

Igor B. Fominykh

Keyword(s):

Active Logic

Download Full-text

Argumentation semantics for Active Logic step theories with granulation of time

Scientific and Technical Information Processing ◽

10.3103/s0147688216050063 ◽

2016 ◽

Vol 43 (5-6) ◽

pp. 346-350

Author(s):

M. M. Vin’kov ◽

I. B. Fominykh

Keyword(s):

Active Logic

Download Full-text

Paraconsistency of Argumentation Semantics for Stepping Theories of Active Logic

Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16) - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-33609-1_15 ◽

2016 ◽

pp. 171-180 ◽

Cited By ~ 3

Author(s):

Igor Fominykh ◽

Michael Vinkov

Keyword(s):

Active Logic

Download Full-text

Towards three-dimensional integration of two-dimensional active logic circuits using low temperature multilayer stacking of GFETs

2014 Silicon Nanoelectronics Workshop (SNW) ◽

10.1109/snw.2014.7348547 ◽

2014 ◽

Author(s):

Sang Kyung Lee ◽

Sangchul Lee ◽

Byoung Hun Lee

Keyword(s):

Low Temperature ◽

Three Dimensional ◽

Logic Circuits ◽

Two Dimensional ◽

Active Logic

Download Full-text

Active logic semantics for a single agent in a static world

Artificial Intelligence ◽

10.1016/j.artint.2007.11.005 ◽

2008 ◽

Vol 172 (8-9) ◽

pp. 1045-1063 ◽

Cited By ~ 2

Author(s):

Michael L. Anderson ◽

Walid Gomaa ◽

John Grant ◽

Don Perlis

Keyword(s):

Single Agent ◽

Active Logic ◽

Static World

Download Full-text

Interpreting Presuppositions Using Active Logic: From Contexts to Utterances

Computational Intelligence ◽

10.1111/0824-7935.00044 ◽

1997 ◽

Vol 13 (3) ◽

pp. 391-413 ◽

Cited By ~ 6

Author(s):

John Gurney ◽

Don Perlis ◽

Khemdut Purang

Keyword(s):

Active Logic

Download Full-text

active logic
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Extended Stepping Theories of Active Logic: Declarative Semantics

Control of the Cognitive Process in Hard Real-Time Environment in the Context of the Extended Stepping Theories of Active Logic

Extended Stepping Theories of Active Logic: Paraconsistent Semantics

Step Theories of Active Logic and Extended Logical Programs

Stepping Theories of Active Logic with Two Kinds of Negation

Argumentation semantics for Active Logic step theories with granulation of time

Paraconsistency of Argumentation Semantics for Stepping Theories of Active Logic

Towards three-dimensional integration of two-dimensional active logic circuits using low temperature multilayer stacking of GFETs

Active logic semantics for a single agent in a static world

Interpreting Presuppositions Using Active Logic: From Contexts to Utterances

Export Citation Format

active logicRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Extended Stepping Theories of Active Logic: Declarative Semantics

Control of the Cognitive Process in Hard Real-Time Environment in the Context of the Extended Stepping Theories of Active Logic

Extended Stepping Theories of Active Logic: Paraconsistent Semantics

Step Theories of Active Logic and Extended Logical Programs

Stepping Theories of Active Logic with Two Kinds of Negation

Argumentation semantics for Active Logic step theories with granulation of time

Paraconsistency of Argumentation Semantics for Stepping Theories of Active Logic

Towards three-dimensional integration of two-dimensional active logic circuits using low temperature multilayer stacking of GFETs

Active logic semantics for a single agent in a static world

Interpreting Presuppositions Using Active Logic: From Contexts to Utterances

active logic
Recently Published Documents