| Spam detection in social media using convolutional and long short term memory neural network |
11 |
| Upward refinement operators for conceptual blending in the description logic epsilon L++ |
4 |
| A review of the relations between logical argumentation and reasoning with maximal consistency |
3 |
| Digital forensics and investigations meet artificial intelligence |
3 |
| Path homotopy invariants and their application to optimal trajectory planning |
2 |
| Relative deviation learning bounds and generalization with unbounded loss functions |
2 |
| A paraconsistent approach to actions in informationally complex environments |
2 |
| How does incoherence affect inconsistency-tolerant semantics for Datalog(+/-)? |
2 |
| Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval |
2 |
| Sentence entailment in compositional distributional semantics |
2 |
| Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem |
2 |
| The complexity of satisfiability in non-iterated and iterated probabilistic logics |
2 |
| A unifying logic for non-deterministic, parallel and concurrent abstract state machines |
1 |
| Approximation and dependence via multiteam semantics |
1 |
| Complexity of control by partitioning veto elections and of control by adding candidates to plurality elections |
1 |
| Geometric and cognitive differences between logical diagrams for the Boolean algebra B-4 |
1 |
| Minimal bases of temporal attribute implications |
1 |
| A labelling framework for probabilistic argumentation |
1 |
| Towards a better integration of modelers and black box constraint solvers within the product design process |
1 |
| Portfolio theorem proving and prover runtime prediction for geometry |
1 |
| From informal to formal proofs in Euclidean geometry |
1 |
| Multilayered neural architectures evolution for computing sequences of orthogonal polynomials |
1 |
| A polynomial relational class of binary CSP |
0 |
| The SAT plus CAS method for combinatorial search with applications to best matrices |
0 |
| Two cryptomorphic formalizations of projective incidence geometry |
0 |
| Can one design a geometry engine? On the (un) decidability of certain affine Euclidean geometries |
0 |
| Proof-checking Euclid |
0 |
| Restricted semantics for default reasoning |
0 |
| NeuroSymbolic integration with uncertainty |
0 |
| A subdivision algorithm to reason on high-degree polynomial constraints over finite domains |
0 |
| Applying robotic frameworks in a simulated multi-agent contest TUBDAI team description multi-agent programming contest 2017 |
0 |
| Multi-agent programming contest 2017: BusyBeaver team description |
0 |
| Multi-agent programming contest 2017: lampe team description |
0 |
| Engineering a multi-agent system in Jason and CArtAgO Multi-agent programming contest 2017 |
0 |
| The Flisvos-2017 multi-agent system |
0 |
| SMART-JaCaMo: an organization-based team for the multi-agent programming contest |
0 |
| Multi-agent programming contest 2017 The twelfth edition of the MAPC |
0 |
| Tableau reasoning for description logics and its extension to probabilities |
0 |
| Quasi-classical reasoning in paraconsistent databases |
0 |
| Parsing as semantically guided constraint solving: the role of ontologies |
0 |
| Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin |
0 |
| Controlling sub-tournaments: easy or hard problem? Theoretical vs. practical analysis |
0 |
| Kernel collaborative online algorithms for multi-task learning |
0 |
| Two AGM-style characterizations of model repair |
0 |
| Probability, coherent belief and coherent belief changes |
0 |
| Practical reasoning using values: an argumentative approach based on a hierarchy of values |
0 |
| Impossibility results for belief contraction |
0 |
| Multi-valued logic in graph transformation theory and self-adaptive systems |
0 |
| Implementing Euclid's straightedge and compass constructions in type theory |
0 |
| An optimal bidimensional multi-armed bandit auction for multi-unit procurement |
0 |
