Filters








339,477 Hits in 4.6 sec

Using Reflective Logic Programming to Describe Domain Knowledge as an Aspect [chapter]

Maja D'Hondt, Wolfgang De Meuter, Roel Wuyts
2000 Lecture Notes in Computer Science  
We propose to follow the principles of aspect-oriented programming, separating the domain from the algorithm and describing them in a logic and conventional programming language respectively.  ...  being part of domain knowledge.  ...  Conclusion This paper reports on an experiment on aspect-oriented programming with domain knowledge as an aspect, using a reflective logic language as the aspect language.  ... 
doi:10.1007/3-540-40048-6_2 fatcat:c2yeiwwxgfgy3ea6iyejh4tl6a

Page 2864 of Mathematical Reviews Vol. , Issue 2003d [page]

2003 Mathematical Reviews  
Summary: “Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time.  ...  Given an initial knowledge base (as a logic program), LUPS pro- vides a way for sequentially updating it.  ... 

Working With Problems an Innovation in Teaching Programming Languages

P. Sridhar Acharya, P S Aithal
2019 Zenodo  
Teaching any programming language requires high level of teaching skills. The teacher needs to have an in depth knowledge in the programming language.  ...  In addition to this he or she needs to develop many projects using the programming language before teaching.  ...  In the case of programming language the knowledge of the teaching domain may be at a very high level as the domain might have worked in the programming language from years together.  ... 
doi:10.5281/zenodo.3359502 fatcat:ymjbwm2w2fcrnnrjrucr7llwsa

Page 135 of Computational Linguistics Vol. 15, Issue 2 [page]

1989 Computational Linguistics  
The model comprised by these principles suggests domain-specific knowledge be organized in nested packets of knowledge elements.  ...  Logically clean means that this operational semantics for logic programs including asserts and retracts is equivalent to the model theoretic semantics of the logical skeleton of a program, i.e., where  ... 

A framework for learning constraints: Preliminary report [chapter]

Srinivas Padmanabhuni, Jia-Huai You, Aditya Ghose
1998 Lecture Notes in Computer Science  
Constraints represent a powerful way of specifying knowledge in any problem solving domain. Typically the appropriate constraints for a given problem need to be fully speci ed.  ...  We also show that this scheme provides a uniform method of generalization for any type of constraint on variables with nite and discrete domain.  ...  A constraint logic program is a generalization of a logic program, in the sense that the clauses can contain constraints in the body.  ... 
doi:10.1007/3-540-64413-x_33 fatcat:ptwbhry7fndrnmmw47wwd2mnyq

Stephen H. Muggleton and Hiroaki Watanabe (Eds.): Latest advances in inductive logic programming

Man Leung Wong
2015 Genetic Programming and Evolvable Machines  
Inductive logic programming (ILP) investigates the construction of logic programs from training examples and background knowledge, where a logic program is a set of sentences in logical form, expressing  ...  knowledge.  ...  Perhaps representing knowledge in higher-order logic (HOL) would help the evolution of programs.  ... 
doi:10.1007/s10710-015-9260-6 fatcat:sexjxtmvg5hnlg75dtv3r3tana

A Resolution Theorem for Algebraic Domains

Pascal Hitzler
2003 International Joint Conference on Artificial Intelligence  
In this paper, we give conditions under which a resolution theorem -in a form underlying resolution-based logic programming systems -can be obtained.  ...  This framework allows reasoning with knowledge which is hierarchically structured and forms a (suitable) domain, more precisely, a coherent algebraic cpo as studied in domain theory.  ...  The result should be understood as foundational for establishing logic programming systems on hierarchical knowledge, built on a firm domain-theoretic background.  ... 
dblp:conf/ijcai/Hitzler03 fatcat:rjnywfia5zbdfhlgvtfgplnvky

Logical levels of problem solving

Leon Sterling
1984 The Journal of Logic Programming  
The key point is the consideration of levels involved, both in the problem solving itself and in the underlying logic.  ...  D This paper demonstrates how clear, efficient problem solving programs can be written within logic programming.  ...  The difTiculty in building problem solvers is representing the relevant knowledge. In logic programming that means axiomatizing the problem domain.  ... 
doi:10.1016/0743-1066(84)90002-5 fatcat:7aofsfkx6vekfmnwx7fvck3wli

A Review of Some Techniques for Inclusion of Domain-Knowledge into Deep Neural Networks [article]

Tirtharaj Dash, Sharad Chitlangia, Aditya Ahuja, Ashwin Srinivasan
2021 arXiv   pre-print
In many such instances, machine-based model construction may benefit significantly from being provided with human-knowledge of the domain encoded in a sufficiently precise form.  ...  This paper examines the inclusion of domain-knowledge by means of changes to: the input, the loss-function, and the architecture of deep networks.  ...  Commonsense Deepstochlog: Neural stochastic logic programming. knowledge in machine intelligence.  ... 
arXiv:2107.10295v4 fatcat:ifkgq3cptbapfamr3dld57uruu

Guest editors' introduction: special issue on inductive logic programming (ILP-2007)

Hendrik Blockeel, Jude Shavlik, Prasad Tadepalli
2008 Machine Learning  
In contrast, probabilistic inference in Markov logic networks is #EXP-hard in the size of the formulas even in the case of finite domains.  ...  In contrast with the traditional view of knowledge representation and inference in languages such as Markov logic networks, where an expressive knowledge base is created independent of its intended use  ... 
doi:10.1007/s10994-008-5078-2 fatcat:xqqvh4peh5bi3fmtmc7je5uu7a

Non-procedural logic programming [chapter]

Seppo Keronen
1994 Lecture Notes in Computer Science  
We present a logic programming language where both problem domain and computational knowledge are expressed in logic.  ...  A logic program in this language consists of an object-program and a number of meta-programs. The object program, a collection of formulae, is a description of the problem domain of interest.  ...  These issues will be addressed in a future paper. Conclusion We have out]ined a logic programming language where both problem domain and computational knowledge are expressed in logic.  ... 
doi:10.1007/3-540-58025-5_56 fatcat:oybhxag6nzcqpdtyhredfsyzse

Special issue: abductive logic programming

Marc Denecker, Antonis Kakas
2000 The Journal of Logic Programming  
In a truly declarative representation of the problem, the logic theory contains knowledge known to be true about the problem domain rather than information on how to solve tasks, i.e. it does not contain  ...  objects in the domain of discourse.  ...  objects in the domain of discourse.  ... 
doi:10.1016/s0743-1066(99)00078-3 fatcat:eazj3ukecrdephhdclbfaewwqe

Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach [chapter]

Tran Cao Son, Chitta Baral, Sheila McIlraith
2001 Lecture Notes in Computer Science  
control knowledge in HTN-planning, GOLOG-programming, and planning with temporal knowledge into ASP.  ...  In this paper we present a declarative approach to adding domain-dependent control knowledge for Answer Set Planning (ASP).  ...  The work of Chitta Baral was also supported in part by the NSF grants IRI-9501577 and NSF 0070463. The work of Tran Cao Son was also supported in part by NSF grant EIA-981072.  ... 
doi:10.1007/3-540-45402-0_17 fatcat:6aizli32zvamrbnpvrlaqxqzza

Process Representation Using Transaction Logic

Reza Basseda
2013 International Web Rule Symposium  
Representing and answering the queries about the dynamic behavior of processes in knowledge base systems has become a challenging research area in the field of logic programming and knowledge representation  ...  In this report, we are going to show how transaction logic can be used to efficiently represent dynamic behavior embedded in different domains.  ...  There are several logic programming frameworks which can be used to address the process representation problem in knowledge base systems.  ... 
dblp:conf/ruleml/Basseda13 fatcat:v6takitvoncurchh2w434wzeh4

Evaluating the integration of fuzzy logic into the student model of a web-based learning environment

Konstantina Chrysafiadi, Maria Virvou
2012 Expert systems with applications  
Our student model represents the learner's knowledge through an overlay model and uses a fuzzy logic technique in order to define and update the student's knowledge level of each domain concept, each time  ...  Our system was used by the students of a postgraduate program in the field of Informatics in the University of Piraeus, in order to learn how to program in the programming language C.  ...  Furthermore, the knowledge of a domain concept may be affected by the knowledge of another domain concept.  ... 
doi:10.1016/j.eswa.2012.05.089 fatcat:7mqylwlxfrd2fnxvmkz46mtcju
« Previous Showing results 1 — 15 out of 339,477 results