10 citations · 71 across the 49 of their papers we have counts for
3 papers · 1 filter
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks
Nicholas Hoernle, Rafael Michael Karampatsis, Vaishak Belle +1
We propose a novel way to incorporate expert knowledge into the training of deep neural networks. Many approaches encode domain constraints directly into the network architecture,…
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Christian Muise, Vaishak Belle, Paolo Felli +4
Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, pla…
One Down, 699 to Go: or, synthesising compositional desugarings
Sándor Bartha, James Cheney, Vaishak Belle
Programming or scripting languages used in real-world systems are seldom designed with a formal semantics in mind from the outset. Therefore, developing well-founded analysis tools…