13,442 Hits in 9.3 sec

Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams

Uwe Keller
2007 Extended Semantic Web Conference  
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in computer science where  ...  of novel efficient methods for reasoning in particular expressive DLs.  ...  Based on the observation of recent trends in the area of DL reasoning and the research challenge identified in [14] for this field, we propose to design and research novel techniques for Description  ... 
dblp:conf/esws/Keller07 fatcat:3hssrinrnnh7bnbb2vzmszptfi

Variability and Component Composition [chapter]

Tijs van der Storm
2004 Lecture Notes in Computer Science  
The concepts and techniques presented are the first step toward automated management of variability for web-based software delivery.  ...  In component-based product populations, variability has to be described at the component level to be able to benefit from a product family approach.  ...  Acknowledgments Paul Klint and Gerco Ballintijn provided helpful comments on drafts of this paper. I thank Jurgen Vinju for carefully reading this article.  ... 
doi:10.1007/978-3-540-27799-6_13 fatcat:le6orp3tebenfg36cmmjbklbmq

Efficient Rule Base Verification Using Binary Decision Diagrams [chapter]

Christophe Mues, Jan Vanthienen
2004 Lecture Notes in Computer Science  
To tackle this problem, we introduce a novel anomaly checking method based on binary decision diagrams (BDDs), a technique emanating mainly from the hardware design community.  ...  In addition, we present empirical evidence of its computational efficiency, especially on rule bases with a deeper inference space.  ...  In this paper, drawing from a technique studied extensively by the hardware design community, we have put forward a novel rule-chain anomaly checking method for KBS verification, based on binary decision  ... 
doi:10.1007/978-3-540-30075-5_43 fatcat:d2y2ea6y2bayxdug6ohk4ryfgu

Defining A Semantic Web-Based Framework For Enabling Automatic Reasoning On Cim-Based Management Platforms

Fernando Alonso, Rafael Fernandez, Sonia Frutos, Javier Soriano
2008 Zenodo  
In this paper, we propose the inclusion of formal knowledge representation techniques, based on Description Logics (DLs) and the Web Ontology Language (OWL), in CIM-based conceptual modeling, and then  ...  The paper shows how the proposed mapping provides CIM diagrams with precise semantics and can be used for automatic reasoning about the management information models, as a design aid, by means of newgeneration  ...  automatic reasoning techniques based on algorithms that are sound and complete with respect to the semantics.  ... 
doi:10.5281/zenodo.1331717 fatcat:yqm5jsp7snd4rlv6xrb2i3uaaq

Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings

Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
2018 IFAC-PapersOnLine  
A novel encoding of the resulting transition system is proposed that uses binary decision diagrams for efficiency.  ...  A novel encoding of the resulting transition system is proposed that uses binary decision diagrams for efficiency.  ...  Binary Decision Diagrams In this section, we present an alternative representation of transition systems based on Binary Decision Diagrams (BDDs).  ... 
doi:10.1016/j.ifacol.2018.08.004 fatcat:5omyjdz26bfpfiehxg4sm2oucm

Novel Approach To Synthesis of Logic Circuits Based on Multifunctional Components

Adam Crha, Richard Růžička, Václav Šimek
2016 Journal of Electrical Engineering  
Key part of it is based on Boolean divisor identification and function kernelling technique. The proposed method is evaluated with several test circuits.  ...  The paper comes with a proposal of a novel synthesis method oriented on the exploitation of polymorphic electronics principles.  ...  Acknowledgments This work was generously supported by the IT4Innovations Centre of Excellence (no.CZ.1.05/1.1.00/02.0070) and by the national COST grant Unconventional Design Techniques for Intrinsic Reconfiguration  ... 
doi:10.1515/jee-2016-0004 fatcat:gouifq4safhprd4d2bhe64zhdu

A reliability analysis method using binary decision diagrams in phased mission planning

D R Prescott, R Remenyte-Prescott, S Reed, J D Andrews, C G Downes
2009 Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability  
A reliability analysis method using binary decision diagrams in phased mission planning. Abstract: The use of autonomous systems is becoming increasingly common in many fields.  ...  Because binary decision diagrams (BDDs) may be quickly and accurately quantified to give measures of the system reliability it is anticipated that they are the most appropriate analysis tools to form the  ...  ACKNOWLEDGEMENTS Financial support for this work has been provided by the Department of Trade and Industry (DTI), Engineering and Physical Sciences Research Council (EPSRC), and BAE SYSTEMS as part of  ... 
doi:10.1243/1748006xjrr202 fatcat:63oysc4vqfbnjhrkkr2gv64x4u

A hybrid approach to representation in the Janus natural language processor

Ralph M. Weischedel
1989 Proceedings of the 27th annual meeting on Association for Computational Linguistics -  
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation of the semantics of utterances  ...  and a taxonomic language with formal semantics for specification of descriptive constants and axioms relating them.  ...  The views and conclusions contained in this document are those of the author and should not be interpreted as necessarily representing the official policies, either expressed or implied, of the Defense  ... 
doi:10.3115/981623.981647 dblp:conf/acl/Weischedel89 fatcat:y5cjt2avv5aipg5rlc2i5zhgaq

Nanowire systems: technology and design

P.-E. Gaillardon, L. G. Amaru, S. Bobba, M. De Marchi, D. Sacchetto, G. De Micheli
2014 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
In §4, we describe the basis for a new logic synthesis flow, whereas, in §5, we derive the potential of the approach for arithmetic and fault-tolerant architectures.  ...  Thus, the fundamental switching primitive, the DG-SiNWFET, is intrinsically more expressive in terms of logic when compared with standard complementary metal oxide semiconductor (CMOS) transistors.  ...  BDS [30] ) use binary decision diagrams (BDDs) to fully represent, manipulate and decompose logic functions.  ... 
doi:10.1098/rsta.2013.0102 pmid:24567471 pmcid:PMC3928901 fatcat:a2vzyrsexjcutiy7t3xgzaml3q

Optimal Decision Diagrams for Classification [article]

Alexandre M. Florio, Pedro Martins, Maximilian Schiffer, Thiago Serra, Thibaut Vidal
2022 arXiv   pre-print
Accordingly, decision diagrams are usually less prone to data fragmentation in internal nodes.  ...  In this context, we study the training of optimal decision diagrams (ODDs) from a mathematical programming perspective.  ...  Acknowledgments and Disclosure of Funding This research was enabled in part by support provided by Calcul Québec and Compute Canada.  ... 
arXiv:2205.14500v1 fatcat:r3ufdd7jkrdjbojbnkjxlfnuqm

New Logic Synthesis as Nanotechnology Enabler

Luca Amaru, Pierre-Emmanuel Gaillardon, Subhasish Mitra, Giovanni De Micheli
2015 Proceedings of the IEEE  
., a binary comparator or a majority voter. We demonstrate that new logic synthesis techniques, natively supporting this abstraction, are the technology enablers.  ...  KEYWORDS | Beyond-complementary metal-oxide semiconductor (CMOS); CAD for nanotechnology; CMOS; emerging devices; enhanced functionality; logic expressive power; logic synthesis; nanotechnology S.  ...  Acknowledgment The authors would like to thank their scientific collaborators for helping generating the experimental results, in particular: Mr  ... 
doi:10.1109/jproc.2015.2460377 fatcat:kakxk5w5q5bjlfgwirfyjnglwq

An infrastructure for probabilistic reasoning with web ontologies

Jakob Huber, Mathias Niepert, Jan Noessner, Joerg Schoenfisch, Christian Meilicke, Heiner Stuckenschmidt, Pascal Hitzler
2016 Semantic Web Journal  
We present an infrastructure for probabilistic reasoning with ontologies that is based on our Markov logic engine ROCKIT.  ...  These scenarios are ontology matching, and knowledge base verification, with a special focus on temporal reasoning.  ...  DISPONTE can answer queries over probabilistic ontologies using binary decision diagrams. The corresponding methods have been implemented in the BUNDLE reasoner [33, 5] .  ... 
doi:10.3233/sw-160219 fatcat:ar723byi55bjvjafoqh3vq73ey

Design of a More Efficient and Effective Flip Flop use of K-Map Based Boolean Function

2016 International Journal of Science and Research (IJSR)  
In this paper, we present a novel method to efficiently process SR flip flop spatial queries with conjunctive Boolean constraints on textual content.  ...  A node entry is placed in the priority queue if there exists at least one object that satisfies the Boolean condition in the sub tree pointed by the entry; otherwise, the Sub tree is not further explored  ...  Debajit Sensarma, On An Optimization Technique Using Binary Decision Diagram, 2012, Two-level logic minimization is a central problem in logic synthesis, and has applications in reliability analysis and  ... 
doi:10.21275/v5i4.nov162979 fatcat:fil4tbstz5dozolrsnsg6nuib4

Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
2020 Information  
logic-based approaches as well as those that are more likely to adopt logic-based approaches in the future.  ...  Future perspectives for exploitation of logic-based technologies are discussed as well, in order to identify those research fields that deserve more attention, considering the areas that already exploit  ...  decisions-in contrast to the more long-established symbolic techniques, based on the formal representation of knowledge and its elaboration via explicit reasoning rules.  ... 
doi:10.3390/info11030167 fatcat:e3wed54dyzabldrnml7khx37te

A novel framework for logic verification in a synthesis environment

W. Kunz, D.K. Pradhan, S.M. Reddy
1996 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Specifically, a structural (logic network) approach is used, based on indirect implications derived by recursive learning.  ...  Absbact-A new methodology for formal logic vedication of combinational circuits is presented.  ...  The Ordered Binary Decision Diagrams used here are the Reduced Ordered Binary Decision Diagrams (ROBDD's) presented in Fig. 10 . 10 Block diagram of program flow in hybrid approach 6.2.1.  ... 
doi:10.1109/43.486269 fatcat:7j2taznitbevdce6f74nuu44qa
« Previous Showing results 1 — 15 out of 13,442 results