partial deduction Latest Research Papers

An Empirical Study of Partial Deduction for miniKanren

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.341.5 ◽

2021 ◽

Vol 341 ◽

pp. 73-94

Author(s):

Ekaterina Verbitskaia ◽

Daniil Berezun ◽

Dmitry Boulytchev

Keyword(s):

Empirical Study ◽

Partial Deduction

Download Full-text

Compiling Control as Offline Partial Deduction

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-13838-7_7 ◽

2019 ◽

pp. 115-131

Author(s):

Vincent Nys ◽

Danny De Schreye

Keyword(s):

Partial Deduction

Download Full-text

Abstract conjunctive partial deduction for the analysis and compilation of coroutines

Formal Aspects of Computing ◽

10.1007/s00165-016-0389-8 ◽

2016 ◽

Vol 29 (1) ◽

pp. 125-153 ◽

Cited By ~ 2

Author(s):

Vincent Nys ◽

Danny De Schreye

Keyword(s):

Partial Deduction

Download Full-text

Partial deduction in predicate calculus as a tool for artificial intelligence problem complexity decreasing

2015 IEEE Seventh International Conference on Intelligent Computing and Information Systems (ICICIS) ◽

10.1109/intelcis.2015.7397199 ◽

2015 ◽

Cited By ~ 1

Author(s):

Tatiana M. Kosovskaya

Keyword(s):

Artificial Intelligence ◽

Predicate Calculus ◽

Problem Complexity ◽

Partial Deduction

Download Full-text

Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_2 ◽

2015 ◽

pp. 21-38 ◽

Cited By ~ 1

Author(s):

Danny De Schreye ◽

Vincent Nys ◽

Colin Nicholson

Keyword(s):

Partial Deduction

Download Full-text

Generating an Efficient Sensor Network Program by Partial Deduction

PRICAI 2010: Trends in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15246-7_15 ◽

2010 ◽

pp. 134-145 ◽

Cited By ~ 1

Author(s):

Li Li ◽

kerry Taylor

Keyword(s):

Sensor Network ◽

Partial Deduction ◽

Network Program

Download Full-text

Symbolic negotiation: Partial deduction for linear logic with coalition formation

Web Intelligence and Agent Systems: An International Journal ◽

10.3233/wia-2008-0137 ◽

2008 ◽

Vol 6 (2) ◽

pp. 193-215

Author(s):

Peep Küngas ◽

Mihhail Matskin

Keyword(s):

Coalition Formation ◽

Linear Logic ◽

Partial Deduction

Download Full-text

Solving Planning Problems by Partial Deduction

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_29 ◽

2007 ◽

pp. 451-468 ◽

Cited By ~ 3

Author(s):

Helko Lehmann ◽

Michael Leuschel

Keyword(s):

Partial Deduction ◽

Planning Problems

Download Full-text

Detection of Missing Web Services: The Partial Deduction Approach

International Conference on Next Generation Web Services Practices (NWeSP'05) ◽

10.1109/nwesp.2005.28 ◽

2006 ◽

Cited By ~ 2

Author(s):

P. Kungas ◽

M. Matskin

Keyword(s):

Web Services ◽

Partial Deduction

Download Full-text

Partial deduction of logic programs WRT well-founded semantics

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013839 ◽

2005 ◽

pp. 384-402 ◽

Cited By ~ 3

Author(s):

Chandrabose Aravindan ◽

Phan Minh Dung

Keyword(s):

Logic Programs ◽

Partial Deduction

Download Full-text

partial deduction
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

An Empirical Study of Partial Deduction for miniKanren

Compiling Control as Offline Partial Deduction

Abstract conjunctive partial deduction for the analysis and compilation of coroutines

Partial deduction in predicate calculus as a tool for artificial intelligence problem complexity decreasing

Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction

Generating an Efficient Sensor Network Program by Partial Deduction

Symbolic negotiation: Partial deduction for linear logic with coalition formation

Solving Planning Problems by Partial Deduction

Detection of Missing Web Services: The Partial Deduction Approach

Partial deduction of logic programs WRT well-founded semantics

Export Citation Format

partial deductionRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

An Empirical Study of Partial Deduction for miniKanren

Compiling Control as Offline Partial Deduction

Abstract conjunctive partial deduction for the analysis and compilation of coroutines

Partial deduction in predicate calculus as a tool for artificial intelligence problem complexity decreasing

Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction

Generating an Efficient Sensor Network Program by Partial Deduction

Symbolic negotiation: Partial deduction for linear logic with coalition formation

Solving Planning Problems by Partial Deduction

Detection of Missing Web Services: The Partial Deduction Approach

Partial deduction of logic programs WRT well-founded semantics

partial deduction
Recently Published Documents