Feature constraint logic and error detection in ICALL systems

DOI10.1007/11422532_17MaRDI QIDQ5706935zbMATH OpenOpenAlexFDO

Authors Veit Reuer, Kai-Uwe Kühnberger

Publication date 23 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136076

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• New structures of the concurrent error detection systems for logic circuits
• Effective error diagnostic tools for logical prototype systems
• Constraint logic programming for fault-tolerant distributed systems
• Logical specification and analysis of fault tolerant systems through partial model checking
• Error detection with directed symbolic model checking
• A feature constraint system for logic programming with entailment
• Constraints for input/output logics
• Error logic: paving pathways for intelligent error identification and management

This page was built for publication: Feature constraint logic and error detection in ICALL systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5706935)