Logical control of an elevator with defeasible logic

M.A. Covington

doi:10.1109/9.867045

Logical control of an elevator with defeasible logic

IEEE Transactions on Automatic Control ◽

10.1109/9.867045 ◽

2000 ◽

Vol 45 (7) ◽

pp. 1347-1349 ◽

Cited By ~ 11

Author(s):

M.A. Covington

Keyword(s):

Defeasible Logic ◽

Logical Control

Download Full-text

Logical Control of Complex Resource Allocation Systems

10.1561/9781680832518 ◽

2017 ◽

Author(s):

Spyros Reveliotis

Keyword(s):

Resource Allocation ◽

Logical Control ◽

Resource Allocation Systems

Download Full-text

Reachability and controllability of time-variant k-valued logical control network and finite memories k-valued logical control network

2017 36th Chinese Control Conference (CCC) ◽

10.23919/chicc.2017.8027714 ◽

2017 ◽

Author(s):

Zhao Jiantao ◽

Chen Zengqiang ◽

Liu Zhongxin

Keyword(s):

Control Network ◽

Logical Control

Download Full-text

Asynchronous event-based set stabilization of logical control networks and its applications in finite-field networks

IEEE Transactions on Control of Network Systems ◽

10.1109/tcns.2021.3089133 ◽

2021 ◽

pp. 1-1

Author(s):

Chen Ouyang ◽

Lulu Li ◽

Yuanyuan Li ◽

Jianquan Lu

Keyword(s):

Finite Field ◽

Control Networks ◽

Logical Control ◽

Set Stabilization ◽

Event Based

Download Full-text

Set Stabilization and Optimal Control of Switched Multi-Valued Logical Control Networks with State-Dependent Switching Signals

IEEE Transactions on Circuits & Systems II Express Briefs ◽

10.1109/tcsii.2020.3046269 ◽

2020 ◽

pp. 1-1

Author(s):

Ning Xu ◽

Yun Chen ◽

Anke Xue ◽

Xudong Zhao ◽

Pengfei Sun

Keyword(s):

Optimal Control ◽

Control Networks ◽

State Dependent ◽

Logical Control ◽

Set Stabilization

Download Full-text

Proving quantified literals in defeasible logic

Information Sciences ◽

10.1016/s0020-0255(98)10093-2 ◽

1999 ◽

Vol 116 (1) ◽

pp. 55-81

Author(s):

David Billington

Keyword(s):

Defeasible Logic

Download Full-text

Logical Control Structures

Learn Java with Math ◽

10.1007/978-1-4842-5209-3_10 ◽

2019 ◽

pp. 63-71

Author(s):

Ron Dai

Keyword(s):

Control Structures ◽

Logical Control

Download Full-text

Strong controllability of mix-valued logical control networks

2017 36th Chinese Control Conference (CCC) ◽

10.23919/chicc.2017.8027724 ◽

2017 ◽

Author(s):

Qunxi Zhu ◽

Bingquan Chen ◽

Yang Liu ◽

Jianquan Lu

Keyword(s):

Control Networks ◽

Logical Control ◽

Strong Controllability

Download Full-text

Approach to the Construction of Logical Control Systems for Technological Equipment for the Implementation of Industry 4.0 Concept

2018 International Russian Automation Conference (RusAutoCon) ◽

10.1109/rusautocon.2018.8501768 ◽

2018 ◽

Cited By ~ 12

Author(s):

Ramil A. Nezhmetdinov ◽

Petr A. Nikishechkin ◽

Anatolii N. Nikich

Keyword(s):

Control Systems ◽

Industry 4.0 ◽

Technological Equipment ◽

Logical Control

Download Full-text

Contextual Agent Deliberation in Defeasible Logic

Agent Computing and Multi-Agent Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01639-4_9 ◽

2009 ◽

pp. 98-109

Author(s):

Mehdi Dastani ◽

Guido Governatori ◽

Antonino Rotolo ◽

Insu Song ◽

Leendert van der Torre

Keyword(s):

Defeasible Logic

Download Full-text

Dialogue Games in Defeasible Logic

AI 2007: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-76928-6_51 ◽

2007 ◽

pp. 497-506 ◽

Cited By ~ 6

Author(s):

S. Thakur ◽

G. Governatori ◽

V. Padmanabhan ◽

J. Eriksson Lundström

Keyword(s):

Dialogue Games ◽

Defeasible Logic

Download Full-text