Search results for: Veronica Dahl
Annals of Mathematics and Artificial Intelligence > 2018 > 82 > 1-3 > 161-185
Lecture Notes in Computer Science > Progress in Artificial Intelligence > Abstracts of Invited Presentations and Tutorials > 7-7
Lecture Notes in Computer Science > Concurrency and Parallelism, Programming, Networking, and Security > 53-63
Lecture Notes in Computer Science > Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy > 346-355
Lecture Notes in Computer Science > Bio-Inspired Systems: Computational and Ambient Intelligence > Formal Languages in Linguistics > 480-487
Lecture Notes in Computer Science > Constraint Solving and Language Processing > Invited Papers > 17-31
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Invited Talks > 3-8
Lecture Notes in Computer Science > Logic Programming > 159-173
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Logic, Language, and Learning > 506-525
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 170-181
Lecture Notes in Computer Science > Advances in Computational Intelligence > Computing Languages with Bio-inspired Devices and Multi-Agent Systems > 449-456
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 215-230