An approach to simulating and analysing sensor events in a boxed beef supply chain is presented. The simulation component reflects our industrial partner's transport routes and parameters under normal and abnormal...
详细信息
This paper proposes a formalized approach to the specification of experimental tasks in cognitive science. Put briefly, the proposal is to represent the structure of a task by a logic program that accepts only valid e...
详细信息
This research full paper presents that Brazilian deaf community has conquered rights in the area of education, and in recent years, with the increase of the enrollment of deaf people in educational establishments, the...
详细信息
ISBN:
(纸本)9781538611746
This research full paper presents that Brazilian deaf community has conquered rights in the area of education, and in recent years, with the increase of the enrollment of deaf people in educational establishments, there is a need to elaborate new specific signs of LIBRAS for technical terms of specific courses in different areas. The objective of this work is develop a computational glossary of signals in LIBRAS with the reserved words of the SuperLOGO programming environments and the NXT robotics software. In addition, programminglogic and geometry learning in deaf students will be stimulated. The work will be carried out in a bilingual high school, in the mathematics discipline. To validate the glossary and the development process of the students' knowledge will be used categories of pedagogical evaluation and content analysis. The use of these programming softwares combined with the glossary demonstrated the ability to build knowledge in programminglogic and geometry that would be hampered by the language barrier. We conclude that the signs developed for the glossary enable the deaf to access complex terms of computing, providing the same possibilities of educational development as their fellow listeners.
Answer Set programming has separately been extended with constraints, to the streaming domain, and with capabilities to reason over the quantities associated with answer sets. We propose the introduction and analysis ...
详细信息
We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language MINIKANREN. We identify a number of ...
详细信息
Answer set programming (ASP) is a declarative programming paradigm that is geared towards difficult combinatorial search problems. Sometimes, run times of ASP systems suffer due to so called grounding bottleneck. Lazy...
详细信息
When modelling expert knowledge, default negation is very useful, but might lead to there being no stable models. Detecting the exact causes of the incoherence in the logic program manually can become quite cumbersome...
详细信息
Search-optimization problems are plentiful in scientific and engineering domains. MaxSAT and answer set programming with weak constraints (ASP-WC) are popular frameworks for modeling and solving search problems with o...
详细信息
Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are call...
详细信息
Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques. In logic programming, there is a gap between the meta-programming practice and its theory: The formalizations of meta-programming do not explicitly address its impredicativity and are not fully adequate. This article aims at overcoming this unsatisfactory situation by discussing the relevance of impredicativity to meta-programming, by revisiting former formalizations of meta-programming, and by defining Reflective Predicate logic, a conservative extension of first-order logic, which provides a simple formalization of meta-programming.
Smart environments powered by the Internet of Things aim at improving our daily lives by automatically tuning ambient parameters (e.g. temperature, interior light) and by achieving energy savings through self-managing...
详细信息
暂无评论