Logic representation in LF

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0018356 ◽

1989 ◽

pp. 250-272 ◽

Author(s):

Robert Harper ◽

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Logic Representation

Download Full-text

Variable Order Verification Use of Logic Representation

Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24594-0_78 ◽

2003 ◽

pp. 689-689

Author(s):

P. W. Chandana Prasad ◽

M. Maria Dominic ◽

Ashutosh Kumar Singh

Keyword(s):

Variable Order ◽

Logic Representation

Download Full-text

What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution

2009 IEEE International Conference on Robotics and Automation ◽

10.1109/robot.2009.5152776 ◽

2009 ◽

Author(s):

J. Dzifcak ◽

M. Scheutz ◽

C. Baral ◽

P. Schermerhorn

Keyword(s):

Natural Language ◽

Dynamic Logic ◽

Action Execution ◽

Goal Management ◽

Logic Representation

Download Full-text

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

Dynamics, Uncertainty and Reasoning - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-13-7791-4_8 ◽

2019 ◽

pp. 153-185

Author(s):

Sylvie Doutre ◽

Andreas Herzig ◽

Laurent Perrussel

Keyword(s):

Dynamic Logic ◽

Abstract Argumentation ◽

Logic Representation

Download Full-text

The logic representation of analog circuits based on condition parameters

2003 5th International Conference on ASIC Proceedings (IEEE Cat No 03TH8690) ICASIC-03 ◽

10.1109/icasic.2003.1277565 ◽

2003 ◽

Author(s):

Zheying Li ◽

Li Luo ◽

Li Li ◽

Hannu Tenhunen

Keyword(s):

Analog Circuits ◽

Logic Representation

Download Full-text

Logic representation and reasoning for automated BIM analysis to support automation in offsite construction

Automation in Construction ◽

10.1016/j.autcon.2021.103756 ◽

2021 ◽

Vol 129 ◽

pp. 103756

Author(s):

Oscar Wong Chong ◽

Jiansong Zhang

Keyword(s):

Logic Representation

Download Full-text

Canonicalization of threshold logic representation and its applications

Proceedings of the International Conference on Computer-Aided Design - ICCAD '18 ◽

10.1145/3240765.3240785 ◽

2018 ◽

Author(s):

Siang-Yun Lee ◽

Nian-Ze Lee ◽

Jie-Hong R. Jiang

Keyword(s):

Threshold Logic ◽

Logic Representation

Download Full-text

Description logic representation for semantic concepts of feature

2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics ◽

10.1109/cadcg.2009.5246842 ◽

2009 ◽

Author(s):

Yingzhong Zhang ◽

Xiaofang Luo

Keyword(s):

Description Logic ◽

Semantic Concepts ◽

Logic Representation

Download Full-text

Logic Representation: Aristotelian Syllogism by Diagram

2016 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, Cloud Computing, Data Science & Engineering (ACIT-CSII-BCD) ◽

10.1109/acit-csii-bcd.2016.022 ◽

2016 ◽

Author(s):

Sabah Al-Fedaghi

Keyword(s):

Logic Representation

Download Full-text

Temporal Logic Representation Schema for Intermediate Function

Journal of Construction Engineering and Management ◽

10.1061/(asce)0733-9364(2007)133:4(277) ◽

2007 ◽

Vol 133 (4) ◽

pp. 277-286 ◽

Author(s):

Yuanbin Song ◽

David K. H. Chua

Keyword(s):

Temporal Logic ◽

Logic Representation

Download Full-text

Logic representation of processes in work activity coordination

Proceedings of the 2000 ACM symposium on Applied computing - SAC '00 ◽

10.1145/335603.335745 ◽

2000 ◽

Author(s):

Jacques Wainer

Keyword(s):

Work Activity ◽

Logic Representation

Download Full-text