239,190 Hits in 9.4 sec

Subject Index

2006 Journal of Applied Logic  
, 622 Hybrid intelligent systems Automatic knowledge learning and case adapta- tion with a hybrid committee approach, 26 Hybrid logic Intuitionistic hybrid logic, 231 Hybrid logics Model checking  ...  modal logics A general method for proving decidability of intu- itionistic modal logics, 219 Isabelle A proof-centric approach to mathematical as- sistants, 505; Is ZF a hack?  ... 
doi:10.1016/s1570-8683(06)00055-3 fatcat:yeph4llopfdgjoimxiakdzqqxm

Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems

Joseph C. Osborn
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
These concerns are generally phrased as inductive bias or domain knowledge and handled in an ad hoc way; I argue that it is possible and useful to represent them explicitly within a unifying approach.  ...  This work refines and extends operational logics, an interpretive framework describing how interactive systems communicate their own mechanisms to users.  ...  Defining game characters in terms of hybrid automata admits a variety of approaches: applying existing model checkers and controller synthesis algorithms; hybrid planning; and efficient discrete program  ... 
doi:10.24963/ijcai.2017/759 dblp:conf/ijcai/Osborn17 fatcat:mproanhejfbzdjhcyrc3yrjjmm

When Even the Interface Evolves..

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luis S. Barbosa
2013 2013 International Symposium on Theoretical Aspects of Software Engineering  
This paper extends the authors' previous work on a formal approach to the specification of reconfigurable systems, introduced in [7], in which configurations are taken as local states in a suitable transition  ...  The novelty is the explicit consideration that not only the realisation of a service may change from a configuration to another, but also the set of services provided and even their functionality, may  ...  This entails the combination of hybrid and modal features with equational logic, leading to adoption of a variant of hybrid equational logic.  ... 
doi:10.1109/tase.2013.19 dblp:conf/tase/MadeiraNMB13 fatcat:e7w74fttubgedmmdbmnoqy3hci

Robot challenges: Toward development of verification and synthesis techniques [from the Guest Editors]

Hadas Kress-Gazit
2011 IEEE robotics & automation magazine  
Inherent to the approaches presented in this special issue is the idea that a robot, or team of robots, can be modeled as a hybrid system-a system that is defined by both discrete (states/modes) and continuous  ...  For example, model-checking tools, given a system model and a specification, either return an answer that the system is guaranteed to satisfy the specification or provide a counter example that depicts  ... 
doi:10.1109/mra.2011.942486 fatcat:lb3q6jknqjh55bbcmkfg46ehmu

A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications [chapter]

Wanchun Dou, S. C. Chueng, Guihai Chen, J. Wang, S. J. Cai
2005 Lecture Notes in Computer Science  
To conclude, a case study is presented for illustrating the scenarios and the characteristics of hybrid workflow paradigm are summarized.  ...  For enacting a hybrid workflow system, the self-managing discipline employed in autonomic computing is imposed on domain-specific applications.  ...  Besides, it is partially supported by a grant of the Research Grants Council of Hong Kong (Project No. HKUST6167/04E).  ... 
doi:10.1007/11590354_131 fatcat:xollqlmlf5gonoqgf5hvub52vi

Hybrid Specification of Reactive Systems: An Institutional Approach [chapter]

Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís S. Barbosa
2011 Lecture Notes in Computer Science  
Specifications are given in an expressive variant of hybrid logic which is, at a later stage, translated into first-order logic to bring into scene suitable tool support.  ...  This paper introduces a rigorous methodology for requirements specification of systems that react to external stimulus by evolving through different operational modes.  ...  Variants of hybrid logic provided the right conceptual framework to develop such specifications.  ... 
doi:10.1007/978-3-642-24690-6_19 fatcat:emzg4b3hqnd6hnkxhkcbxykdra

Page 5210 of Mathematical Reviews Vol. , Issue 2002G [page]

2002 Mathematical Reviews  
As the main contribution, we give and prove correct an algorithm that translates a linear hybrid action system to a linear hybrid automaton.  ...  The restriction to models in Set allows in exchange a flexible specification formalism, yet still based on a simple Horn clause logic as the underlying deduction system.  ... 

Reuse and Integration of Specification Logics: The Hybridisation Perspective [chapter]

Luis S. Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves
2016 Advances in Intelligent Systems and Computing  
The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system's configuration  ...  It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms  ...  Introduction Hybrid logic [Ind07, Bla00, Bra10, AtC07] adds to a modal language the ability to name, or to explicitly refer to, specific states of the underlying Kripke structure.  ... 
doi:10.1007/978-3-319-31311-5_1 fatcat:ygjooqekibfzrcg7zahjqldufy

Runtime verification and monitoring of embedded systems

C. Watterson, D. Heffernan
2007 IET Software  
The conclusions summarise the possibilities for arranging non-intrusive monitoring of embedded systems, and the potential for runtime verification to utilise such monitoring approaches.  ...  A suggested solution for non-intrusive monitoring of embedded systems is presented.  ...  Hybrid monitors In general, hybrid monitoring refers to approaches that use a combination of additional software and hardware to monitor a target system, relying on the advantages of each approach and  ... 
doi:10.1049/iet-sen:20060076 fatcat:qyrpypp4ubgtdcsfdopnbko3g4

A Hybrid Engine for the Placement of Domain-Specific Reconfigurable Arrays

Wing On Fung, T. Arslan, S. Khawam
2007 Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)  
It reviews the difficulties encountered implementing genetic algorithm based placement in a previous attempt and presents a hybrid approach by combining genetic algorithm and simulated annealing.  ...  It was successfully tested against two set of domain-specific architectures implementing DCT and Algebraic Codebook Search.  ...  In this paper, we propose a hybrid design approach for the placement of Domain-Specific Coarse-Grain Reconfigurable Arrays.  ... 
doi:10.1109/ahs.2007.5 dblp:conf/ahs/FungAK07 fatcat:auhor7sb6jgxdbx3udvuvrt7ye

Transdisciplinary Scientific Strategies for Soft Computing Development: Towards an Era of Data and Business Analytics

Rafael A. Espin-Andrade, Witold Pedrycz, Efrain Solares, Laura Cruz-Reyes
2021 Axioms  
Some contributions of this work are defining what kind of mathematical elements should be introduced into soft computing towards a better impact on the area of data analytics, offering orientation towards  ...  This research is a review and analysis paper that offers a transdisciplinary, methodological, and strategic vision for soft computing development towards a wider favorable impact in data analytics.  ...  The pluralism of ACFL will be used to get a model by integration of different windows using specific ACFL logics.  ... 
doi:10.3390/axioms10020093 fatcat:uwsjhk62nnfktf6lwh4ocabwou

A Hybrid DL and RL Based Reasoner for Optimum Entailments in Ontologies

Deepika Chaudhary, Jaiteg Singh, D. P. Kothari
2017 Indian Journal of Science and Technology  
Objective: To present a reasoner based on the hybrid approach which integrates the Description Logic (DL) reasoner with Rule Logic (RL) based reasoner for optimizing the reasoning process in ontology's  ...  The experimental research shows that by following the hybrid approach the entailments can be made more efficient and scalable as compared to the other reasoners.  ...  On the other hand in hybrid approach we combine various atomic systems.  ... 
doi:10.17485/ijst/2017/v10i23/111164 fatcat:pk76k252d5bj7ggesmd3tgtbz4

Hybrid dynamical type theories for navigation [article]

Paul Gustafson, Jared Culbertson, Daniel E. Koditschek
2021 arXiv   pre-print
We also define a conjectural embedding of a fragment of linear-time temporal logic within our type theory, with the goal of obtaining interoperability with existing state-of-the-art tools for automatic  ...  This type theory combines the framework of Fu--Kishida--Selinger for constructing linear dependent type theories from state-parameter fibrations with previous work on categories of hybrid systems under  ...  A general approach is to specify interfaces between components -both logical and physical.  ... 
arXiv:2108.07625v1 fatcat:ggnyks357ncvjj5exgp5btiqza

Logics for hybrid systems

J.M. Davoren, A. Nerode
2000 Proceedings of the IEEE  
This paper offers a synthetic overview of, and original contributions to, the use of logics and formal methods in the analysis of hybrid systems.  ...  The high-profile and safety-critical nature of the application areas has fostered a large and growing body of work on formal methods for hybrid systems: mathematical logics, computational models and methods  ...  ACKNOWLEDGMENT The authors' view of hybrid systems and logics for reasoning about them has benefited from fruitful conversations and exchanges with many people; in particular, they would like to thank  ... 
doi:10.1109/5.871305 fatcat:vsxl3q7h6rfcvbtxy4mmfnc7oi

A Hybrid Natural Language Generation System Integrating Rules and Deep Learning Algorithms [article]

Wei Wei, Bei Zhou, Georgios Leontidis
2020 arXiv   pre-print
We also come up with a novel approach called HMCU to measure the performance of the natural language processing comprehensively and precisely.  ...  This paper proposes an enhanced natural language generation system combining the merits of both rule-based approaches and modern deep learning algorithms, boosting its performance to the extent where the  ...  The hybrid approach is a way to balance the performance of the generated text between the controllability of context logic and flexibility of writing style.  ... 
arXiv:2006.09213v2 fatcat:fr6mz4ild5azxfy6l3snjehlfm
« Previous Showing results 1 — 15 out of 239,190 results