Search Results - Distinctive Logic Programming

Development of a method for intelligent video monitoring of abnormal behavior of people based on parallel object-oriented logic programming by Morozov, A. A.

“…A method for intelligent video monitoring of abnormal behavior of people is considered that is based on parallel object-oriented logic programming…”
Get full text

Mobile agents for distributed logic programming by Tzone I Wang, Chien Chao Wang

“… The distinctive idea is to replace the distributed unification mechanism in most distributed logic programming languages with the mobility and execution locality of mobile agents…”
Get full text

HasCasl: Integrated higher-order specification and program development by Schröder, Lutz, Mossakowski, Till

“… expressive standard language for higher-order logic. Distinctive features of HasCasl include partial higher order functions, higher order subtyping, shallow polymorphism, and an extensive type-class mechanism. Moreover, HasCasl…”
Get full text

Distinctive features of persuasion and deliberation dialogues by Atkinson, Katie, Bench-Capon, Trevor, Walton, Douglas

“… In this paper, we provide a characterisation of both types of dialogues that draws out the distinctive features of each…”
Get full text

Scheduling distributed heterogeneous parallel precast flowshop with shared resources via logic-based Benders decomposition by Xiong, Fuli, Zhou, Kaihao, Ping, An, Jing, Lin

“… A distinctive feature of this problem is that processing times for the same stage may vary across different factories…”
Get full text

From rules to examples: Machine learning's type of authority by Campolo, Alexander, Schwerzmann, Katia

“… To capture its logic, we compare it to computer programming rules that date to the middle of the 20th century, showing how rules and examples have regulated human conduct in significantly different ways…”
Get full text

Equivalence of Two Formal Semantics for Functional Logic Programs by López-Fraguas, F.J., Rodríguez-Hortalá, J., Sánchez-Hernández, J.

“…A distinctive feature of modern functional logic languages like Toy or Curry is the possibility of programming non-strict and non-deterministic functions with call-time choice semantics…”
Get full text

A Probabilistic Programming Approach to Intention Estimation in Human-Robot Teleoperated Assembly Tasks by Xu, Aolin, Li, Songpo, Baskaran, Prakash, Patel, Karankumar, Iba, Soshi, Dariush, Behzad

“… Both model learning and inference are implemented with Pyro, a state-of-the-art probabilistic programming language…”
Get full text

Computer code comprehension shares neural resources with formal logical inference in the fronto-parietal network by Liu, Yun-Fei, Kim, Judy, Wilson, Colin, Bedny, Marina

“…Despite the importance of programming to modern society, the cognitive and neural bases of code comprehension are largely unknown…”
Get full text

Probabilistic modelling and verification using RoboChart and PRISM by Ye, Kangfeng, Cavalcanti, Ana, Foster, Simon, Miyazawa, Alvaro, Woodcock, Jim

“…RoboChart is a timed domain-specific language for robotics, distinctive in its support for automated verification by model checking and theorem proving…”
Get full text

A Fuzzy Datalog Deductive Database System by Julian-Iranzo, Pascual, Saenz-Perez, Fernando

“… Concepts supporting the fuzzy logic programming system <inline-formula><tex-math notation="LaTeX"> {\small{\mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}</tex-math></inline-formula> are tailored to the needs of the deductive database system…”
Get full text

Evolutionary programming with a simulated-conformist mutation strategy by Huang, Han, Ye, Shujin, Fan, Zhun, Lin, Zhiyong, Lv, Liang, Hao, Zhifeng

“…Evolutionary programming has been widely implemented as a continuous optimization algorithm…”
Get full text

Closed-Form Upper Bounds in Static Cost Analysis by Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán

“… available for a variety of programming languages, the second phase has been comparatively less studied…”
Get full text

Efficient algorithms for program equivalence for confluent concurrent constraint programming by Pino, Luis F., Bonchi, Filippo, Valencia, Frank

“…Concurrent Constraint Programming (CCP) is a well-established declarative framework from concurrency theory…”
Get full text

A novel intelligent Fuzzy-AHP based evolutionary algorithm for detecting communities in complex networks by Pourabbasi, Elmira, Majidnezhad, Vahid, Veijouyeh, Najibeh Farzi, Taghavi Afshord, Saeid, jafari, Yasser

“…The realm of complex network analysis is witnessing a surge in research focus on community detection. Numerous algorithms have been put forth, each harboring…”
Get full text

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms by Bullo, Francesco, Cortés, Jorge, Martínez, Sonia

“…This self-contained introduction to the distributed control of robotic networks offers a distinctive blend of computer science and control theory…”
Get full text

Mathematics in Sociology by Edling, Christofer R.

“… A distinctive feature of today's use of mathematics in sociology is the movement toward a synthesis between process, structure, and action…”
Get full text

Analysis of Program Disturbance Immunity of VA-SGLC Embedded Nonvolatile Memory by Park, Sung-Kun

“…We have analyzed the program disturbance immunity mechanism of a vertical assist-select gate lateral coupling (VA-SGLC) cell. Comparing different operation…”
Get full text

Dealing with explicit preferences and uncertainty in answer set programming by Confalonieri, Roberto, Nieves, Juan Carlos, Osorio, Mauricio, Vázquez-Salceda, Javier

“…) and Possibilistic Answer Set Programming (PASP) can be merged into the single framework of Logic Programs with Possibilistic Ordered Disjunction (LPPODs…”
Get full text

An Optimal Management Model for Empty Freight Railcars in Transport Nodes by Rakhmangulov, Aleksadr, Osintsev, Nikita, Muravev, Dmitri, Legusov, Alexander

“…The paper presents the actual problem of increasing the efficiency of empty railcars management in rail nodes. This problem lies in considering the set of…”
Get full text