ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close