Filters








549,985 Hits in 10.9 sec

Answer Set Programming: An Introduction to the Special Issue

Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski
2016 The AI Magazine  
We give a brief overview of the articles that form this special issue on answer set programming and of the main topics they discuss.  ...  This editorial introduces answer set programming, a vibrant research area in computational knowledge representation and declarative programming.  ...  Thomas Eiter acknowledges support by the Austrian Science Fund (FWF), projects P26471 and P24090.  ... 
doi:10.1609/aimag.v37i3.2669 fatcat:vbguf2e4xzd3zimoxusdtjmyfi

Managing urban sustainability: An introduction to the special issue

Marina Alberti, Lawrence Susskind
1996 Environmental impact assessment review  
The editors wish to thank all the authors for their contribution and for their patience with the difficult process in preparing a special issue.  ...  A special thanks also to the participants of the EcoCity Conference, Dakar, Senegal (January 1996).  ...  In the postscriptum to this special issue, William Moomaw of Tufts University, stresses that for urban society it is culture that shapes the relationship between the economy and the environment.  ... 
doi:10.1016/s0195-9255(96)00070-4 fatcat:4bau4wdxbjg2bjbmt3plbikw7i

Answer Set Programming [chapter]

Piero Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca
2010 Lecture Notes in Computer Science  
Answer Set Programming (ASP), referred to also as Disjunctive Logic Programming under the stable model semantics (DLP), is a powerful formalism for Knowledge Representation and Reasoning.  ...  The Italian logic programming community has been very active in this area, some ASP results achieved in Italy are widely recognized as milestones on the road to the current state of the art.  ...  An answer set of a program P is a set X ⊆ B P such that X is an answer set of grnd(P ) X .  ... 
doi:10.1007/978-3-642-14309-0_8 fatcat:m7vjxp43qfbgjpujf7ozr72x5q

Figured Worlds and Education: An Introduction to the Special Issue

Luis Urrieta
2007 The Urban review  
'' in an alternative education program.  ...  in this special issue.  ... 
doi:10.1007/s11256-007-0051-0 fatcat:7mz6jvilyvbmdgnvbudxyj7pse

Perspectives on Knowledge Mobilization: An Introduction to the Special Issue

Kimberly Matheson, Cathy Malcolm Edwards
2016 Technology Innovation Management Review  
on Knowledge Mobilization: An Introduction to the Special Issue Kimberly Matheson and Cathy Malcolm Edwards A readiness to reconsider one's research objectives might also be an inherent aspect of knowledge  ...  To the contrary, in my own experience, the challenge of knowledge mobilization is www.timreview.caPerspectives on Knowledge Mobilization: An Introduction to the Special Issue 6 Kimberly Matheson and  ...  Cathy Malcolm Edwards is Managing Director of 1125@Carleton and has an enthusiastic appreciation for the power that research has to improve lives and the world we live in.  ... 
doi:10.22215/timreview/1014 fatcat:dyan4gmz3jbxnb4xnf4q3be7xy

Fuzzy Answer Set Programming [chapter]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock
2012 Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach  
Despite that very general connectives are allowed, the presented framework turns out to be an intuitive extension of answer set programming.  ...  In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gentle introduction to its basic ideas and definitions.  ...  Introduction In this chapter we will present and illustrate the basic definitions of fuzzy answer set programming (FASP).  ... 
doi:10.2991/978-94-91216-59-6_3 fatcat:oqzn4dfxkncd3bs5m3oucm4ahy

Sketched Answer Set Programming [article]

Sergey Paramonov, Christian Bessiere, Anton Dries, Luc De Raedt
2018 arXiv   pre-print
We propose a novel method, called Sketched Answer Set Programming (SkASP), aiming at supporting the user in resolving this issue.  ...  Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models is not trivial.  ...  INTRODUCTION Many AI problems can be formulated as constraint satisfaction problems that can be solved by state-of-the-art constraint programming (CP) [34] or answer set programming (ASP) techniques  ... 
arXiv:1705.07429v2 fatcat:o5xitj727zfn7g473x6vm5oy6a

Fuzzy Answer Set Programming [chapter]

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2006 Lecture Notes in Computer Science  
Despite that very general connectives are allowed, the presented framework turns out to be an intuitive extension of answer set programming.  ...  In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gentle introduction to its basic ideas and definitions.  ...  Introduction In this chapter we will present and illustrate the basic definitions of fuzzy answer set programming (FASP).  ... 
doi:10.1007/11853886_30 fatcat:rp5q3tsbmfb3hblmfalapiq2ce

The Problems and Possibilities of the Relational Approach: An Introduction to the Special Issue

Scott Eacott
2019 Research in Educational Administration & Leadership  
Article Info This Special Issue Editor's introduction provides an overview of the rationale for the Issue and a summary of the papers.  ...  In doing so, the introduction (and the Special Issue at large) identify an issue of timely relevance and provides a generative alternative that works towards overcoming (not necessarily resolving) the  ...  Conclusion This Special Issue set out to deliver a scholarly dialogue on the problems and possibilities of the relational research program. Did it deliver? The short answer is both yes and no.  ... 
doi:10.30828/real/2019.1.1 fatcat:6jkb625p4jeohl6yhnlvoq3xia

Algebraic Answer Set Programming [article]

Christian Antic
2022 arXiv   pre-print
As a result, we can characterize answer sets algebraically, which bridges the conceptual gap between the syntax and semantics of an answer set program in a mathematically satisfactory way, and which provides  ...  Moreover, it gives rise to an algebraic meta-calculus for answer set programs. In a broader sense, this paper is a further step towards an algebra of logic programs first envisioned by Richard A.  ...  Acknowledgments References References Acknowledgments This work has been supported by the Austrian Science Fund (FWF) project P31063-N35.  ... 
arXiv:2104.12156v3 fatcat:v5ae6o4smbclbji5ks5cmdk4cy

Sketched Answer Set Programming

Sergey Paramonov, Christian Bessiere, Anton Dries, Luc De Raedt
2018 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)  
We propose a novel method, called Sketched Answer Set Programming (SkASP), aimed at facilitating this.  ...  Index Terms-inductive logic programming, constraint learning, answer set programming, sketching, constraint programming, relational learning [SKETCH] 2  ...  INTRODUCTION Many AI problems can be formulated as constraint satisfaction problems that can be solved by state-of-the-art constraint programming (CP) [34] or answer set programming (ASP) techniques  ... 
doi:10.1109/ictai.2018.00110 dblp:conf/ictai/0001BDR18 fatcat:bb3b2blqnbd43bqimlomfgght4

Functional Answer Set Programming [article]

Pedro Cabalar
2010 arXiv   pre-print
In this paper we propose an extension of Answer Set Programming (ASP), and in particular, of its most general logical counterpart, Quantified Equilibrium Logic (QEL), to deal with partial functions.  ...  In the rest of the paper, we show a direct connection to Scott's Logic of Existence and present a practical application, proposing an extension of normal logic programs to deal with partial functions and  ...  on semantics of partial functions in the field of Functional Logic Programming.  ... 
arXiv:1006.3678v1 fatcat:zb7muyqg45bahgwnh2ofhwsivm

Reactive Answer Set Programming [chapter]

Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub
2011 Lecture Notes in Computer Science  
We introduce the first approach to Reactive Answer Set Programming, aiming at reasoning about real-time dynamic systems running online in changing environments.  ...  With this, we elaborate upon the composition of the various offline and online programs in order to pave the way for stream-driven grounding and solving.  ...  To issue such requests, we implemented a separate controller program that sends online progressions to oclingo and displays answer sets received in return.  ... 
doi:10.1007/978-3-642-20895-9_7 fatcat:4cxgzqeffnaclfc5pxampa7cb4

Perspectives on the Knowledge-Based Society. An Introduction to the Special Issue

Katharine Rockett
2012 Economics : the Open-Access, Open-Assessment e-Journal  
In addition to the references given here, several excellent special issues have been prepared on university-industry linkages and related issues, including Management Science, 2002, 48(1) and the International  ...  The papers contained in this special issue span the microeconomic topics, including the transfer of knowledge across organizations, the interaction between government policy and the production of knowledge  ...  The Editor  ... 
doi:10.5018/economics-ejournal.ja.2012-35 fatcat:lbe74h3nufhsbc4ozw5wxxxlqa

Functional answer set programming

PEDRO CABALAR
2011 Theory and Practice of Logic Programming  
AbstractIn this paper we propose an extension of Answer Set Programming (ASP) to deal with (possibly partial) evaluable functions.  ...  To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium Logic (QEL), and propose a variant QEL=ℱwhere the set of functions is partitioned into Herbrand functions  ...  on semantics of partial functions in the field of Functional Logic Programming.  ... 
doi:10.1017/s1471068410000517 fatcat:rfaawovqnrfi7fk62ecxumpa7q
« Previous Showing results 1 — 15 out of 549,985 results