Multi-Agent FLUX for the Gold Mining Domain (System Description)

2007 ◽  
pp. 294-303 ◽  
Author(s):  
Stephan Schiffel ◽  
Michael Thielscher
Keyword(s):  
Gold Mining ◽  
System Description ◽  
Multi Agent

Basis System Description of Information in Psychology

2002 ◽  
Author(s):  
Konstantin Malyshev ◽  
Yakov Lebedev
Keyword(s):  
System Description ◽  
Basis System

Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT

2020 ◽  
Vol 12 (1) ◽  
pp. 17-22
Author(s):  
Alexander Nadel
Keyword(s):  
Variable Selection ◽  
Open Source ◽  
System Description

This paper is a system description of the anytime MaxSAT solver TT-Open-WBO-Inc, which won both of the weighted incomplete tracks of MaxSAT Evaluation 2019. We implemented the recently introduced polarity and variable selection heuristics, TORC and TSB, respectively, in the Open-WBO-Inc-BMO algorithm within the open-source anytime MaxSAT solver Open-WBO-Inc. As a result, the solver is substantially more efficient.

Multi-agent temporal nontransitive linear logics and the admissibility problem

2020 ◽  
Vol 59 (1) ◽  
pp. 123-141
Author(s):  
V. V. Rybakov
Keyword(s):  
Multi Agent

Small-scale Gold Mining

1984 ◽  
Author(s):  
E. H. Dahlberg
Keyword(s):  
Gold Mining ◽  
Small Scale
Sign in / Sign up

Export Citation Format

Share Document