Вы здесь

Главная

правило

Связанные издания:

Run-Time Detection of Non-Terminating Active Rule Systems
Semantic Techniques for the Web: The REWERSE Perspective
Sliding window filtering: an efficient method for incremental mining on a time-variant database
Some Aspects of Rule Discovery in Data Bases
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software
Some Positive Results for Boundedness of Multiple Recursive Rules
Specification and Implementation of Exceptions in Workflow Management Systems
Specifications of Inference Rules and Their Automatic Translation
Specifying Active Rules for Database Maintenance
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
Telecommunication Economics: Selected Results of the COST Action IS0605 Econ@Tel
Temporized and localized rule sets
Terminologies and Rules
Tests and Proofs: Proc./10th International Conference, TAP 2016 Held as Part of STAF 2016, Vienna, Austria, July 2016
Tests and Proofs: Proc./9th International Conference, TAP 2015 Held as Part of STAF 2015, L Aquila, Italy, July 2015
The Even More Liberalized -Rule in Free Variable Semantic Tableaux
The Nonmonotonic Semantics of Active Rules in Deductive Databases
Theory and Applications of Satisfiability Testing - SAT 2013: Proc./16th International Conference, Helsinki, Finland, July 2013
Theory and Applications of Satisfiability Testing - SAT 2014: Proc./17th International Conference Held as Part of the Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014
Theory and Applications of Satisfiability Testing - SAT 2015: Proc./18th International Conference, Austin,TX,USA, September 2015
The PARK Semantics for Active Rules
Towards a Provably Correct Compiler for OBJ3
Transactions on Computational Collective Intelligence III
Transformation Rules for Conditional Join Operations
Update by Means of Inference Rules
Update Rules in Datalog Programs
Using Delta Relations to Optimize Condition Evaluation in Active Databases
Using the Properties of Datalog to prove Termination and Confluence in Active Databases
Validating Active Rules by Planning
VISPATCH: Graphical Rule-based Language Controlled by User Event
VITAL: a Visual Tool for Analysis of Rules Behaviour in Active Databases
Web Reasoning and Rule Systems: Proc./5th International Conference, RR 2011, Galway, Ireland, August 2011
Web Reasoning and Rule Systems: Proc./8th International Conference, RR 2014, Athens, Greece, September 2014
Web Reasoning and Rule Systems: Proc./Second International Conference, RR 2008. Karlsruhe, Germany, October/November 2008
Well-behaving Rule Systems for Entity-Relationship and Object-Oriented Models
Автоматический синтез правил коррекции текстовых документов формата LATEX
Выявление упоминаний лиц в новостных текстах
Графовое представление системы продукционных правил
Интегрированные правила переписывания термов и их применение в автоматической верификации программ
Компьютерная реализация устранения избыточных правил в условных системах переписывания
Построение нечеткого классификатора на основе методов гармонического поиска
Применение логических правил вывода в реляционных СУБД
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
Разработка и исследование методов преобразования прикладных семантических сетей в базы правил
Схема систематизации правил стилей программирования