Titel

Merkliste
1 Ergebnisse

Debugging of wrong and missing answers for datalog programs..:

, In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming,

Caballero, Rafael ; García-Ruiz, Yolanda ; Sáenz-Pérez, Fernando - p. 55-66 , 2015

Link: https://dl.acm.org/doi/10.1145/2790449.2790522

RT 
T1 <cTitle>Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming</cTitle>: T1 <Title>Debugging of wrong and missing answers for datalog programs with constraint handling rules</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2790522&Exemplar=1&LAN=DE
				
A1 Caballero, Rafael
A1 García-Ruiz, Yolanda
A1 Sáenz-Pérez, Fernando
PB ACM
YR 2015
K1 algorithmic debugging
K1 constraint handling rules
K1 deductive databases
K1 logic programming
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Constraint and logic languages
K1 Computing methodologies
K1 Artificial intelligence
K1 Knowledge representation and reasoning
K1 Logic programming and answer set programming
K1 Software creation and management
K1 Software verification and validation
K1 Software defect analysis
K1 Software testing and debugging
K1 Language features
K1 Constraints
K1 Information systems
K1 Data management systems
K1 Database management system engines
K1 Triggers and rules
SP 55
OP 66
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2790449.2790522
DO https://dl.acm.org/doi/10.1145/2790449.2790522
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)