Aline Paes

2014

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 14 researchers here, as inferred from the citation graph.

Whom Aline Paes trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Gordon D. Plotkin

Who trusts Aline Paes overall

  1. Tim Rocktaschel
  2. Tong Wang
  3. Stefano V. Albrecht
  4. Lior Friedman

Papers from Aline Paes's perspective

Ordered by how strongly the researchers Aline Paes trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Answer Set Solving in Practice (Synthesis Lectures on Artificial Intelligence and Machine Learning)
  2. Towards a Theory of Declarative Knowledge
  3. A Note on Inductive Generalization
  4. ASP-Core-2 Input Language Format (Theory and Practice of Logic Programming)
  5. Foundations of Logic Programming
  6. Kodkod: A Relational Model Finder (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  7. Temporal induction by incremental SAT solving (BMC@CAV)
  8. SATzilla: Portfolio-based Algorithm Selection for SAT
  9. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
  10. Applications of Circumscription to Formalizing Common Sense Knowledge

Their papers