Skip Nav Destination
Close Modal
Update search
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
NARROW
Format
Article Type
Subject Area
Topics
Date
Availability
1-3 of 3
Keywords: reasoning
Close
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Sort by
Journal Articles
Publisher: ASME
Article Type: Research Papers
J. Comput. Inf. Sci. Eng. February 2024, 24(2): 021003.
Paper No: JCISE-22-1240
Published Online: July 13, 2023
... of multiple solution paths and the need for understanding the physics phenomena that could realize the desired effects. To this end, this paper presents a formal method for functional decomposition using physics-based qualitative reasoning. The formal representation includes three parts: (1) a natural...
Journal Articles
Publisher: ASME
Article Type: Research-Article
J. Comput. Inf. Sci. Eng. June 2013, 13(2): 021001.
Paper No: JCISE-11-1465
Published Online: April 22, 2013
... reasoning on those models. The representation consists of a hierarchical vocabulary of entities, relations, and attributes, and 33 local grammar rules that permit or prohibit modeling constructs thereby ensuring model consistency. Internal representational consistency is verified by committing...
Journal Articles
Publisher: ASME
Article Type: Research-Article
J. Comput. Inf. Sci. Eng. March 2013, 13(1): 011008.
Paper No: JCISE-12-1228
Published Online: March 15, 2013
... received December 16, 2012; published online March 14, 2013. Assoc. Editor: Bahram Ravani. 12 12 2012 16 12 2012 This paper validates that a previously published formal representation of function structure graphs actually supports the reasoning that motivated its development...
