Filters








193,879 Hits in 7.2 sec

A Logic-Based Framework for Reasoning about Composite Data Structures [chapter]

Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
2009 Lecture Notes in Computer Science  
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

Vinay Shet, Maneesh Singh, Claus Bahlmann, Visvanathan Ramesh
2009 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops  
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

Vinay Shet, Maneesh Singh, Claus Bahlmann, Visvanathan Ramesh, Jan Neumann, Larry Davis
2010 International Journal of Computer Vision  
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

Parisa Kordjamshidi, Dan Roth, Kristian Kersting
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
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

Sirasak Tepjit, Imre Horváth, Zoltán Rusák
2019 Journal of Computational Design and Engineering  
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

Parisa Kordjamshidi, Dan Roth, Kristian Kersting
2022 Frontiers in Artificial Intelligence  
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

Shashank Shanbhag, Xin Huang, Santosh Proddatoori, Tilman Wolf
2009 2009 29th IEEE International Conference on Distributed Computing Systems Workshops  
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

C. Pahl, M. Casey
2003 Software engineering notes  
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]

Claus Pahl
2004 Lecture Notes in Computer Science  
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

C. Pahl, M. Casey
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  
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

C. Pahl, M. Casey
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  
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

Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter
2006 Proceedings of the fourth ACM workshop on Formal methods in security - FMSE '06  
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

Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto
2013 2013 IEEE International Conference on Systems, Man, and Cybernetics  
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

Claus Pahl, Simon Giesecke, Wilhelm Hasselbring
2009 Information and Software Technology  
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

Claus Pahl
2007 Information and Software Technology  
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