Filters








286,042 Hits in 9.4 sec

Origins of Answer-Set Programming - Some Background And Two Personal Accounts [article]

Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
2011 arXiv   pre-print
We discuss the evolution of aspects of nonmonotonic reasoning towards the computational paradigm of answer-set programming (ASP).  ...  We give a general overview of the roots of ASP and follow up with the personal perspective on research developments that helped verbalize the main principles of ASP and differentiated it from the classical  ...  Acknowledgments The work of the second author was partially supported by the Academy of Finland (project 122399). The work of the third author was partially supported by the NSF grant IIS-0913459.  ... 
arXiv:1108.3281v1 fatcat:kioh3cangrchbnkk5heilbhloi

The reliability of a report on listening habits

Alberta Curtis
1939 Journal of Applied Psychology  
original answers, and two per cent completely reversed it.  ...  The answers for the repeated program, the National Farm and Home Hour, were then cross- tabulated against the original answers (Table 1).  ... 
doi:10.1037/h0061382 fatcat:nuqpewot6rcw3dgl32mghz3cdi

Individualization of practice distribution in second language grammar learning

Yuichi Suzuki
2019 Journal of Second Language Studies  
Their oral production performance both during and after the training was related to their metalinguistic rule rehearsal ability (MRRA) and working memory capacity (WMC).  ...  Sixty participants studied morphological rules of a novel miniature-language system in order to use them for oral production.  ...  If you download two or more programs, you will be asked if you want to replace some files that exist already. Answer NO to this question. The programs are supplied in the form of a zip file.  ... 
doi:10.1075/jsls.18023.suz fatcat:t4oxgh2gjjgsrpk23cjmp6pxny

Students, teachers and phenomena

Ira Diethelm, Peter Hubwieser, Robert Klaus
2012 Proceedings of the 12th Koli Calling International Conference on Computing Education Research - Koli Calling '12  
In order to validate this framework, we have conducted some empirical research in order to propose and test suitable methods for the empirical investigation and validation of the main working steps of  ...  Additionally, we asked about 100 students to describe their conceptions and beliefs about the functions and principles of computer viruses as an example for students' conceptions of a phenomenon.  ...  The interviewers should ask three persons each to answer some questions, which asked about the personal and CSE background first and then posed the following central question: "Please give three phenomena  ... 
doi:10.1145/2401796.2401823 dblp:conf/kolicalling/DiethelmHK12 fatcat:zscox66whfbnxbwv5yfi2sle5y

The Influence of Accountability on Teachers' Decision Making in a Simulated Classroom

Julia E. Herfordt-Stöpel, Thomas Hörstermann
2012 International Journal for Cross-Disciplinary Subjects in Education  
When accountability was high, no differences in ratings for boys and girls with the same ability were observed.  ...  A possibility of improving the quality is to make teachers aware of the great impact their judgments have. This means increasing accountability.  ...  Furthermore, half of the male and half of the female students in the virtual class were of Luxembourgish origin, while the other half were of Portuguese origin and therefore members of the biggest immigrant  ... 
doi:10.20533/ijcdse.2042.6364.2012.0140 fatcat:oyx7n6m6tjgffdquuvr77od44e

Page 4 of American Institute of Biological Sciences. Biological Sciences Curriculum Study. BSCS Newsletter Vol. , Issue 59 [page]

1975 American Institute of Biological Sciences. Biological Sciences Curriculum Study. BSCS Newsletter  
either program without cost or obligation if it does not meet my needs Each program includes 160 full-color slides in two Carousel cartridges, two tape cassettes, two LP records and a User’s Guide Regular  ...  They include very complete teacher's guides, many ex- cellent slides (especially in Origin of Man), and two different forms—cassette and disc—of the audio component.  ... 

Multi-relational data mining

Sašo Džeroski
2003 SIGKDD Explorations  
In recent years, the most common types of patterns and approaches considered in data mining have been extended to the multi-relational case and MRDM now encompasses multi-relational (MR) association rule  ...  discovery, MR decision trees and MR distancebased methods, among others.  ...  When applying a logic program, all applicable clauses are used and a set of answers can be produced. First-order decision lists can be represented by Prolog programs with cuts (!)  ... 
doi:10.1145/959242.959245 fatcat:7fawqikgdnc47b7udb5ak7jvc4

Query Answering in Resource-Based Answer Set Semantics [article]

Stefania Costantini, Andrea Formisano
2016 arXiv   pre-print
In this paper, we propose a query-answering procedure reminiscent of Prolog for answer set programs under this extended semantics as an extension of XSB-resolution for logic programs with negation.  ...  In recent work we defined resource-based answer set semantics, which is an extension to answer set semantics stemming from the study of its relationship with linear logic.  ...  B Background on Resource-Based Answer Set Semantics The following formulation of resource-based answer set semantics is obtained by introducing some modifications to the original definition of the answer  ... 
arXiv:1608.01604v1 fatcat:nxksxko4svcuhkgtzdmoo3tyou

Heuristic Based Induction of Answer Set Programs: From Default theories to combinatorial problems [article]

Farhad Shakerin, Gopal Gupta
2018 arXiv   pre-print
To the best of our knowledge, this is the first heuristic-based ILP algorithm to induce answer set programs with multiple stable models.  ...  Our extended algorithm is a greedy FOIL-like algorithm, capable of inducing non-monotonic logic programs, examples of which includes programs for combinatorial problems such as graph-coloring and N-queens  ...  We assume that the reader is familiar with answer set programming and stable model semantics. Books by Baral [1] and Gelfond and Kahl [4] are good sources of background material.  ... 
arXiv:1802.06462v1 fatcat:iw6bn3i2zrgkzp5aniiwr53csq

International Labour Migration: Students Viewpoint

Ramune Ciarniene, Vilmante Kumpikaite
2011 Engineering Economics  
The first person emigrating from the area sends information to those in the home country about jobs, housing, and schools in the new setting.  ...  The first person emigrating from the area sends information to those in the home country about jobs, housing, and schools in the new setting.  ... 
doi:10.5755/j01.ee.22.5.971 fatcat:g4oa3bybhzephncc5wkqnez4ze

Rawlsian Relativism and Background Theories

David Weissbord
1985 Auslegung a Journal of Philosophy  
for the survival of the group of social and economic circumstances that now lie in the distant past?"  ...  "* It is the role of intuition in a decision procedure for ethics and, specifically, in the method of reflective equilibrium that is attacked by Peter Singer, R. M. Hare, and Richard Brandt.  ...  That set consists of (a) a set of considered moral judgments, (b) a set of moral principles, and (c) a set of relevant background theories.  ... 
doi:10.17161/ajp.1808.9108 fatcat:reinez3mlfb3djsn2qvisc7wju

Natural Language Understanding as First-Order Abduction via Stable Models

Petr Homola
2015 International Joint Conference on Artificial Intelligence  
We present a method for finding abductive proofs in first-order Horn theories by using an answer-set solver.  ...  We illustrate our solution with examples from the domain of natural language understanding. Furthermore we describe a novel way of ranking abductive proofs of logical forms of sentences.  ...  We have also suggested how to rank proofs within the answer-set program, since the original framework of weighted abduction would require an additional step to evaluate the proofs.  ... 
dblp:conf/ijcai/Homola15 fatcat:f5qndfn4trby7euknn6h6wfbwi

Equivalence issues in abduction and induction

Chiaki Sakama, Katsumi Inoue
2009 Journal of Applied Logic  
Equivalence of explanations: Two explanations are considered equivalent if they account for the same observation under a given abductive (or inductive) theory.  ...  Inoue and Sakama [9,10] study the problem of equivalence of abductive theories under first-order logic and abductive logic programming (ALP).  ...  Proof. (1) If two explanations E 1 and E 2 are equivalent in credulous abduction, for any observation O , O ⊆ S for some consistent answer set S of P ∪ E 1 iff O ⊆ T for some consistent answer set T of  ... 
doi:10.1016/j.jal.2008.10.006 fatcat:auy26ov35rhhrltgqjnotyqcl4

The role of semantics in mining frequent patterns from knowledge bases in description logics with rules [article]

Joanna Jozefowska, Agnieszka Lawrynowicz, Tomasz Lukaszewski
2010 arXiv   pre-print
Note: To appear in Theory and Practice of Logic Programming (TPLP)  ...  We have also shown that the quality of the set of patterns produced may be improved: the patterns are more compact, and there are fewer patterns.  ...  King for valuable discussions on KR and data mining in biology, and the remarks on earlier versions of the paper, to Jan Ramon for explanations on the concept of the semantic freeness of Datalog patterns  ... 
arXiv:1003.2700v2 fatcat:xoevmzoldzaytnrwnjk2c26ruu

Creativity in Design Engineers: Attitudes, Opinions and Potentially Influential Factors

Paul Neufeld, Omid Mirzaei, Mark Runco, Sean Maw
2017 Proceedings of the Canadian Engineering Education Association (CEEA)  
The results from some of the open-ended questions have been analyzed to determine emerging groups of similar types of answers, and then efforts have been made to relate the groups in a meaningful framework.The  ...  These were some of the questions that motivated the initiation of a creativity research program in the College of Engineering at the University of Saskatchewan.  ...  Finally, we want to thank Jade Knoblauch and the members of InTREEg (Innovative Teaching and Research in Engineering Education Group) this past year for their help and input during the development of this  ... 
doi:10.24908/pceea.v0i0.6519 fatcat:guxirtedend2hbgcncymm3nkze
« Previous Showing results 1 — 15 out of 286,042 results