A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Logic-Based Framework for Reasoning about Composite Data Structures
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
Our approach uses precise invariant checking to reason about composite data structures. unbounded data domains: [Bouajjani et al.2007] allows to reason about words and it is included in CSL [Bradley et ...
Cezara Drȃgoi (LIAFA)Composite Data Structures
General logic: gCSL
ϕ = ∃x, q, z . x {f }
Cezara Drȃgoi (LIAFA)Composite Data Structures 20 / 29
Cezara Drȃgoi (LIAFA) Composite Data ...
doi:10.1007/978-3-642-04081-8_13
fatcat:ghtcy2yxuvhu7fvo7uuxcbsqqu
Predicate logic based image grammars for complex pattern recognition
2009
2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Bilattices, algebraic structures introduced by Ginsberg [2], provide a means to design exactly such an interface to model uncertainties for logical reasoning. ...
Predicate logic based reasoning approaches provide one such means to formally specify domain knowledge, and manipulate symbolic information, to explicitly reason about the presence of different patterns ...
Bilattices, algebraic structures introduced by Ginsberg [2] , provide a means to design exactly such an interface to model uncertainties for logical reasoning. ...
doi:10.1109/cvprw.2009.5204328
dblp:conf/cvpr/ShetSBR09
fatcat:vn4ujyqn55glrilwnlvhonaoqu
Predicate Logic Based Image Grammars for Complex Pattern Recognition
2010
International Journal of Computer Vision
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Bilattices, algebraic structures introduced by Ginsberg [2], provide a means to design exactly such an interface to model uncertainties for logical reasoning. ...
Predicate logic based reasoning approaches provide one such means to formally specify domain knowledge, and manipulate symbolic information, to explicitly reason about the presence of different patterns ...
Bilattices, algebraic structures introduced by Ginsberg [2] , provide a means to design exactly such an interface to model uncertainties for logical reasoning. ...
doi:10.1007/s11263-010-0343-9
fatcat:drposb7llzampag5jnkqgslqjm
Systems AI: A Declarative Learning Based Programming Perspective
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We classify the existing frameworks based on the type of techniques as well as the data and knowledge representations they use, provide a comparative study of the way they address the challenges of programming ...
data and need to evaluate those as a part of an end-to-end system. ...
They were expert systems modeling the way experts reason and make decision based on a set of logical rules. ...
doi:10.24963/ijcai.2018/771
dblp:conf/ijcai/KordjamshidiRK18
fatcat:tpwajnwywrfkpm3dcc3553oxca
The state of framework development for implementing reasoning mechanisms in smart cyber-physical systems: A literature review
2019
Journal of Computational Design and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
insufficiently support the development of reasoning mechanisms for S-CPSs; (iii) frameworks for development of reasoning in S-CPS should support compositional design. ...
The objective of our research is to investigate the concepts and implementations of reasoning processes for S-CPSs, and more specifically, the frameworks proposed for the fuzzy front end of their reasoning ...
Model based design is a conceptual framework that supports system design by abstraction of physical phenomena, data driven modeling, representation of logical, and physical and interconnection structures ...
doi:10.1016/j.jcde.2019.04.002
fatcat:yxhpdhb6h5hyhpe7elxd552kle
Declarative Learning-Based Programming as an Interface to AI Systems
2022
Frontiers in Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
We classify the existing frameworks based on the type of techniques and their data and knowledge representations, compare the ways the current tools address the challenges of programming real-world applications ...
Often, a solution involves multiple learning models, along with significant levels of reasoning with the models' output and input. ...
ACKNOWLEDGMENTS We thank all reviewers for their thoughtful comments and suggestions. ...
doi:10.3389/frai.2022.755361
pmid:35372833
pmcid:PMC8967162
fatcat:7fc4g77knjadlkrwz3crbmd5oq
Automated Service Composition in Next-Generation Networks
2009
2009 29th IEEE International Conference on Distributed Computing Systems Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Automatically computing possible compositions and checking given compositions requires a common framework for expressing application needs, service features, and system characteristics. ...
In this paper, we present such a framework that is based on situation calculus. We show that the automated composition problem can be reduced to an AI Planning problem. ...
We would like to thank Cisco Systems, Inc. for their support related to the ISR system. ...
doi:10.1109/icdcsw.2009.27
dblp:conf/icdcsw/ShanbhagHPW09
fatcat:cxen5ddpwbgprppjnxswlcfohy
Ontology support for web service processes
2003
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques. ...
The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations. ...
Only considering services as roles makes modal reasoning about process behaviour possible in a description logic framework. ...
doi:10.1145/949952.940099
fatcat:4yh3phildjhp3bwfuk4yqfktwm
An Ontology-Based Framework for Semantic Grid Service Composition
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We present an ontology-based framework for service composition for the Semantic Grid. ...
Ontology technology can form the framework to capture semantical conditions for contracts. Often, applications of Grid services involve a combination of several services. ...
The tractability of reasoning about descriptions is a central issue for description logic. The richness of our description logic has some negative implications for the complexity of reasoning. ...
doi:10.1007/978-3-540-30190-5_5
fatcat:ajbde2wxfbanfgbfdxxzopy7pi
Ontology support for web service processes
2003
Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques. ...
The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations. ...
Based on the correspondence with dynamic logic, our reasoning about services and processes is improved. ...
doi:10.1145/940071.940099
dblp:conf/sigsoft/PahlC03
fatcat:t4txh6t5yfavjm2dlgnjcnvh5e
Ontology support for web service processes
2003
Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques. ...
The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations. ...
Based on the correspondence with dynamic logic, our reasoning about services and processes is improved. ...
doi:10.1145/940095.940099
fatcat:v32om37bkbdedcph54odima5gi
Defeasible security policy composition for web services
2006
Proceedings of the fourth ACM workshop on Formal methods in security - FMSE '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In addition, the structure of our policies allows for composition to occur using a single operator; this allows for entirely automated composition. ...
In this paper we explore the concept of defeasible policy composition, wherein policies are represented in defeasible logic and composition is based on rules for non-monotonic inference. ...
Acknowledgements Lee was supported by the NSF under grants IIS-0331707, CNS-0325951, and CNS-0524695 and by a Motorola Center for Communications Graduate Fellowship. ...
doi:10.1145/1180337.1180342
dblp:conf/ccs/LeeBOG06
fatcat:mqbdt35l55bbzb76kshnfuy3ni
A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning
2013
2013 IEEE International Conference on Systems, Man, and Cybernetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We propose in this paper an automated reasoning based hierarchical framework for human activity recognition. ...
This hierarchical structure is then transformed into logical formulas and rules, based on which the resolution based automated reasoning is applied to recognize the composite activity given the recognized ...
ACKNOWLEDGMENT This work has been partially supported by the VCRS scholarship from University of Ulster, the research project TIN2012-31263, and the European Union Seventh Framework Programme (FP7/2007 ...
doi:10.1109/smc.2013.596
dblp:conf/smc/ChenLWA13
fatcat:6qzk2n4ljffwpozch3p7sisg3e
Ontology-based modelling of architectural styles
2009
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose an ontological approach for architectural style modelling based on description logic as an abstract, meta-level modelling instrument. ...
We introduce a framework for style definition and style combination. ...
Then, reasoning about connector behaviour in a modal logic style would be possible [28, 26] . ...
doi:10.1016/j.infsof.2009.06.001
fatcat:l7t66lrspfd3tmcildovkszv3m
Semantic model-driven architecting of service-based software systems
2007
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We present ontology-based transformation and reasoning techniques for layered semantic service architecture modelling. ...
Model-driven development is a software development framework that emphasises modelbased abstraction and automated code generation. ...
of ontology languages such as OWL) and dynamic logic (a modal logic that allows reasoning about processes). ...
doi:10.1016/j.infsof.2006.09.007
fatcat:7krq6cio7vg3rdrt42pb7azmqm
« Previous
Showing results 1 — 15 out of 193,879 results